Handle contract generation for recursive class types.

original commit: 6945c5bfb1a807e1e2d4b6cdf50db83b0623ad1d
2012-10-09 12:06:48 -04:00 · 2012-10-09 12:06:48 -04:00 · cd081cf9c4
commit cd081cf9c4
parent cf1ae8f3b1
1 changed files with 2 additions and 0 deletions
--- a/collects/typed-racket/private/type-contract.rkt
+++ b/collects/typed-racket/private/type-contract.rkt
@ -299,6 +299,8 @@
                                #,(contract-kind->keyword (current-contract-kind)))])
                   n*))))]
        [(Value: #f) #'false/c]
+        [(Instance: (? Mu? t))
+         (t->c (make-Instance (resolve-once t)))]
        [(Instance: (Class: _ _ (list (list name fcn) ...)))
         (set-impersonator!)
         (with-syntax ([(fcn-cnts ...) (for/list ([f fcn]) (t->c/fun f #:method #t))]