From d31ffab99d9ac74a9cbecbc199ae72f440fbe5aa Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Mon, 27 May 2013 11:12:14 -0700 Subject: [PATCH] Remove check for type-ascription property. original commit: b57d84dd903b53948ebf3e21fbbe781c10c45501 --- .../typed-racket-lib/typed-racket/private/type-annotation.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git 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 index 88e0e121..622f8449 100644 --- 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)]