suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

revert this change, since it breaks insert large letters

Browse Source 
svn: r18267
This commit is contained in:
Sam Tobin-Hochstadt 2010-02-22 20:06:34 +00:00
parent 18e8f00572
commit 8a11336b51
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/typed-scheme/private/type-contract.ss
View File

@ -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) ...))]