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

Enable contract and add a purpose statement

Browse Source 
original commit: ef08cc41e741adc355295d579f4440b8436bb91f
This commit is contained in:
Asumu Takikawa 2013-02-26 16:47:55 -05:00
parent 050a030415
commit d991a2e125
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
collects/typed-racket/typecheck/tc-expr-unit.rkt
View File

@ -209,8 +209,9 @@
(match (tc-expr/check e t)
[(tc-result1: t) t]))
(define (tc-expr/check/type form expected)
#;(syntax? Type/c . -> . tc-results/c)
;; typecheck an expression by passing tr-expr/check a tc-results
(define/cond-contract (tc-expr/check/type form expected)
(--> syntax? Type/c tc-results/c)
(tc-expr/check form (ret expected)))
(define (tc-expr/check form expected)