Actual contracts for classes. Yay sstrickl!

svn: r18547

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)

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]