Handle contract generation for recursive class types.

(cherry picked from commit 6945c5bfb1)
2012-10-09 12:06:48 -04:00 · 2012-10-09 12:06:48 -04:00 · da477c0c82
commit da477c0c82
parent 9086e14b5e
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))]