From b9902e514541039ac87d47c35e9bcd9d3f37d1f3 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 15 Mar 2010 18:21:15 +0000 Subject: [PATCH] Actual contracts for classes. Yay sstrickl! svn: r18547 --- collects/typed-scheme/private/type-contract.ss | 3 +-- collects/typed/mred/mred.ss | 2 +- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/collects/typed-scheme/private/type-contract.ss b/collects/typed-scheme/private/type-contract.ss index 7cf4c8104c..a1d4ae6ed4 100644 --- a/collects/typed-scheme/private/type-contract.ss +++ b/collects/typed-scheme/private/type-contract.ss @@ -157,8 +157,7 @@ [(name ...) name] [(by-name-cnt ...) (for/list ([t by-name-init-ty]) (t->c/neg t))] [(by-name-init ...) by-name-init]) - #'class? - #; + #;#'class? #'(class/c (name fcn-cnt) ... (init [by-name-init by-name-cnt] ...)))] [(Value: '()) #'null?] [(Struct: nm par flds proc poly? pred? cert acc-ids) diff --git a/collects/typed/mred/mred.ss b/collects/typed/mred/mred.ss index 69cd1bcdc7..2b0d45df87 100644 --- a/collects/typed/mred/mred.ss +++ b/collects/typed/mred/mred.ss @@ -18,7 +18,7 @@ (dt Text-Field% (Class () ([parent Any] [callback Any] [label String]) ([get-value (-> String)] - [focus (-> String)]))) + [focus (-> Void)]))) (dt Horizontal-Panel% (Class () ([parent Any] [stretchable-height Any #t]