Fix types of numerics etc with expected type.

2012-02-20 18:45:33 -05:00 · 2012-02-20 18:45:33 -05:00 · b4af99babb
commit b4af99babb
parent 7109e92b04
1 changed files with 5 additions and 0 deletions
--- a/collects/typed-racket/typecheck/tc-expr-unit.rkt
+++ b/collects/typed-racket/typecheck/tc-expr-unit.rkt
@ -25,8 +25,13 @@
 ;; return the type of a literal value
 ;; scheme-value [type] -> type
 (define (tc-literal v-stx [expected #f])
+  (define-syntax-class exp
+    (pattern (~and i (~or :number :str :bytes))
+             #:fail-unless expected #f
+             #:fail-unless (subtype (-val (syntax-e #'i)) expected) #f))
  (define r
    (syntax-parse v-stx
+      [i:exp expected]
      [i:boolean (-val (syntax-e #'i))]
      [i:identifier (-val (syntax-e #'i))]