From d991a2e1250e11f411631d1201ad25501dbbb01e Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Tue, 26 Feb 2013 16:47:55 -0500 Subject: [PATCH] Enable contract and add a purpose statement original commit: ef08cc41e741adc355295d579f4440b8436bb91f --- collects/typed-racket/typecheck/tc-expr-unit.rkt | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/collects/typed-racket/typecheck/tc-expr-unit.rkt b/collects/typed-racket/typecheck/tc-expr-unit.rkt index 6a962912..2a30d0c0 100644 --- a/collects/typed-racket/typecheck/tc-expr-unit.rkt +++ b/collects/typed-racket/typecheck/tc-expr-unit.rkt @@ -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)