suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Remove obsolete special casing for ann and inst.

Browse Source
This commit is contained in:
Eric Dobson 2013-05-27 13:00:34 -07:00
parent 32fc2b99b8
commit 48ca13f26d
1 changed files with 0 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app/tc-app-main.rkt
View File

@ -15,15 +15,6 @@
tc-app-objects^ tc-app-eq^ tc-app-lambda^ tc-app-special^) tc-app-objects^ tc-app-eq^ tc-app-lambda^ tc-app-special^)
(export tc-app^) (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) (define-tc/app-syntax-class (tc/app-regular* expected)
(pattern form (tc/app-regular #'form expected))) (pattern form (tc/app-regular #'form expected)))
@ -34,7 +25,6 @@
#:attr check (attribute v.check)) ...)) #:attr check (attribute v.check)) ...))
(combine-tc/app-syntax-classes tc/app-special-cases (combine-tc/app-syntax-classes tc/app-special-cases
tc/app-annotated
tc/app-list tc/app-list
tc/app-apply tc/app-apply
tc/app-eq tc/app-eq