From 495da1bd1a77a3be2a369d5bcf015285906d96f8 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Mon, 21 Mar 2016 14:16:30 -0500 Subject: [PATCH] Bring `tc-#%expression in line with its contract. --- typed-racket-lib/typed-racket/typecheck/tc-expression.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/typed-racket-lib/typed-racket/typecheck/tc-expression.rkt b/typed-racket-lib/typed-racket/typecheck/tc-expression.rkt index b7227218..54e125f0 100644 --- a/typed-racket-lib/typed-racket/typecheck/tc-expression.rkt +++ b/typed-racket-lib/typed-racket/typecheck/tc-expression.rkt @@ -18,7 +18,7 @@ (export tc-expression^) ;; Typecheck an (#%expression e) form -(define (tc/#%expression form expected) +(define (tc/#%expression form [expected #f]) (syntax-parse form [(exp:type-inst^ e) (do-inst (tc-expr #'e) (attribute exp.value))]