revert this change, since it breaks insert large letters

svn: r18267 original commit: 8a11336b51936c0b465ed399f64579e2e73d75df
2010-02-22 20:06:34 +00:00 · 2010-02-22 20:06:34 +00:00 · bcebf867f4
commit bcebf867f4
parent 8f366a3613
1 changed files with 3 additions and 1 deletions
--- a/collects/typed-scheme/private/type-contract.ss
+++ b/collects/typed-scheme/private/type-contract.ss
@ -136,7 +136,9 @@
             (parameterize ([vars (cons (list n #'n* #'n*) (vars))])
               #`(flat-rec-contract n* #,(t->c b)))))]
        [(Value: #f) #'false/c]    
-        [(Instance: (Class: _ _ (list (list name fcn) ...))) 
+        [(Instance: (Class: _ _ (list (list name fcn) ...)))
+         #'(is-a?/c object%)
+         #;
 	 (with-syntax ([(fcn-cnts ...) (map t->c fcn)]
 		       [(names ...) name])
 		      #'(object-contract (names fcn-cnts) ...))]