Bring `tc-#%expression in line with its contract.

2016-03-21 14:16:30 -05:00 · 2016-03-21 14:16:30 -05:00 · 495da1bd1a
commit 495da1bd1a
parent 8d5d7bea7a
1 changed files with 1 additions and 1 deletions
--- 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))]