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

Handle contract generation for recursive class types.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2012-10-09 12:06:48 -04:00
parent 7e7ebffdd4
commit 6945c5bfb1
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-racket/private/type-contract.rkt
View File

@ -299,6 +299,8 @@
#,(contract-kind->keyword (current-contract-kind)))]) #,(contract-kind->keyword (current-contract-kind)))])
n*))))] n*))))]
[(Value: #f) #'false/c] [(Value: #f) #'false/c]
[(Instance: (? Mu? t))
(t->c (make-Instance (resolve-once t)))]
[(Instance: (Class: _ _ (list (list name fcn) ...))) [(Instance: (Class: _ _ (list (list name fcn) ...)))
(set-impersonator!) (set-impersonator!)
(with-syntax ([(fcn-cnts ...) (for/list ([f fcn]) (t->c/fun f #:method #t))] (with-syntax ([(fcn-cnts ...) (for/list ([f fcn]) (t->c/fun f #:method #t))]