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

Fixup rec-lambda contract

Browse Source
This commit is contained in:
Eric Dobson 2014-03-22 17:12:30 -07:00
parent 0f5be21f21
commit ac1d7ea19e
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/signatures.rkt
View File

@ -34,7 +34,8 @@
(define-signature tc-lambda^ (define-signature tc-lambda^
([cond-contracted tc/lambda (syntax? syntax? syntax? . -> . tc-results/c)] ([cond-contracted tc/lambda (syntax? syntax? syntax? . -> . tc-results/c)]
[cond-contracted tc/lambda/check (syntax? syntax? syntax? tc-results/c . -> . tc-results/c)] [cond-contracted tc/lambda/check (syntax? syntax? syntax? tc-results/c . -> . tc-results/c)]
[cond-contracted tc/rec-lambda/check (syntax? syntax? syntax? (listof Type/c) tc-results/c . -> . tc-results/c)])) [cond-contracted tc/rec-lambda/check (syntax? syntax? syntax? (listof Type/c) tc-results/c . -> .
(values tc-results/c tc-results/c))]))
(define-signature tc-app^ (define-signature tc-app^
([cond-contracted tc/app (syntax? . -> . tc-results/c)] ([cond-contracted tc/app (syntax? . -> . tc-results/c)]