Remove check for type-ascription property.

original commit: b57d84dd903b53948ebf3e21fbbe781c10c45501
2013-05-27 11:12:14 -07:00 · 2013-05-27 11:12:14 -07:00 · d31ffab99d
commit d31ffab99d
parent 3c49b8e946
1 changed files with 1 additions and 1 deletions
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/private/type-annotation.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/private/type-annotation.rkt
@ -39,7 +39,7 @@
  ;(unless let-binding (error 'ohno))
  ;(printf "in type-annotation:~a\n" (syntax->datum stx))
  (syntax-parse stx
-    [(~or v:type-label^ v:type-ascription^) (pt (attribute v.value))]
+    [(~or v:type-label^) (pt (attribute v.value))]
    [i:typed-id^
     (maybe-finish-register-type stx)
     (attribute i.type)]