From e80df03958e3b95bf442aae1d9dcb71b2112a138 Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Mon, 27 May 2013 13:00:34 -0700 Subject: [PATCH] Remove obsolete special casing for ann and inst. original commit: 48ca13f26d1adc8315c2f340549523cf76c3b61a --- .../typed-racket/typecheck/tc-app/tc-app-main.rkt | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app/tc-app-main.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app/tc-app-main.rkt index 5ba7d3bd..064fcbe4 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app/tc-app-main.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app/tc-app-main.rkt @@ -15,15 +15,6 @@ tc-app-objects^ tc-app-eq^ tc-app-lambda^ tc-app-special^) (export tc-app^) - -(define-syntax-class annotated-op - (pattern (~and i:identifier (~or :type-inst^ :type-ascription^)))) - -(define-tc/app-syntax-class (tc/app-annotated expected) - ;; Just do regular typechecking if we have one of these. - (pattern (~and form (rator:annotated-op . rands)) - (tc/app-regular #'form expected))) - (define-tc/app-syntax-class (tc/app-regular* expected) (pattern form (tc/app-regular #'form expected))) @@ -34,7 +25,6 @@ #:attr check (attribute v.check)) ...)) (combine-tc/app-syntax-classes tc/app-special-cases - tc/app-annotated tc/app-list tc/app-apply tc/app-eq