suzanne.soy/typed-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 
original commit: 48ca13f26d1adc8315c2f340549523cf76c3b61a
This commit is contained in:
Eric Dobson 2013-05-27 13:00:34 -07:00
parent 635979b6b2
commit e80df03958
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^)
(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