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

Enable contract and add a purpose statement

Browse Source
This commit is contained in:
Asumu Takikawa 2013-02-26 16:47:55 -05:00
parent 899a3279c2
commit ef08cc41e7
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) (match (tc-expr/check e t)
[(tc-result1: t) t])) [(tc-result1: t) t]))
(define (tc-expr/check/type form expected) ;; typecheck an expression by passing tr-expr/check a tc-results
#;(syntax? Type/c . -> . tc-results/c) (define/cond-contract (tc-expr/check/type form expected)
(--> syntax? Type/c tc-results/c)
(tc-expr/check form (ret expected))) (tc-expr/check form (ret expected)))
(define (tc-expr/check form expected) (define (tc-expr/check form expected)