From bcebf867f439afc1c3408990af357b80c00d99c9 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 22 Feb 2010 20:06:34 +0000 Subject: [PATCH] revert this change, since it breaks insert large letters svn: r18267 original commit: 8a11336b51936c0b465ed399f64579e2e73d75df --- collects/typed-scheme/private/type-contract.ss | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/typed-scheme/private/type-contract.ss b/collects/typed-scheme/private/type-contract.ss index 6b6f3c59..bad2a41d 100644 --- 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) ...))]