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

Handle arbitrary recursive contracts generated from Rec types.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2012-07-14 22:30:00 -04:00
parent 2aaeec4520
commit 1dca82784b
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/tests/typed-racket/fail/cnt-err1.rkt
View File

@ -1,5 +1,5 @@
#; #;
(exn-pred exn:fail:contract? ".*expected: T.*" #rx".*contract.*\\(->.*") (exn-pred exn:fail:contract? ".*pair?.*" #rx".*contract.*\\(->.*")
#lang scheme/load #lang scheme/load

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

@ -214,7 +214,8 @@
(match-let ([(Mu-name: n-nm _) ty]) (match-let ([(Mu-name: n-nm _) ty])
(with-syntax ([(n*) (generate-temporaries (list n-nm))]) (with-syntax ([(n*) (generate-temporaries (list n-nm))])
(parameterize ([vars (cons (list n #'n* #'n*) (vars))]) (parameterize ([vars (cons (list n #'n* #'n*) (vars))])
#`(flat-rec-contract n* #,(t->c b #:flat #t)))))] #`(letrec ([n* (recursive-contract #,(t->c b))])
n*))))]
[(Value: #f) #'false/c] [(Value: #f) #'false/c]
[(Instance: (Class: _ _ (list (list name fcn) ...))) [(Instance: (Class: _ _ (list (list name fcn) ...)))
(when flat? (exit (fail))) (when flat? (exit (fail)))