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

Delete top-level hack that's no longer necessary

Browse Source 
The trampolining implementation of the top-level solves this
without the dependency on rep/type-rep.rkt
This commit is contained in:
Asumu Takikawa 2015-10-31 02:24:48 -04:00
parent a24852548a
commit 15aa3d875f
1 changed files with 2 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
typed-racket-lib/typed-racket/base-env/prims-contract.rkt
View File

@ -83,11 +83,10 @@
;; Lazily loaded b/c they're only used sometimes, so we save a lot
;; of loading by not having them when they are unneeded
(lazy-require ["../rep/type-rep.rkt" (make-Opaque Error?)]
(lazy-require ["../rep/type-rep.rkt" (Error?)]
["../types/utils.rkt" (fv)]
[syntax/define (normalize-definition)]
[typed-racket/private/parse-type (parse-type)]
[typed-racket/env/type-alias-env (register-resolved-type-alias)])
[typed-racket/private/parse-type (parse-type)])
(define (with-type* expr ty)
(with-type #`(ann #,expr #,ty)))
@ -326,11 +325,6 @@
(pattern #:name-exists))
(syntax-parse stx
[(_ ty:id pred:id lib (~optional ne:name-exists-kw) ...)
;; This line appears redundant with the use of `define-type-alias` below, but
;; it's actually necessary for top-level uses because this opaque type may appear
;; in subsequent `require/typed` clauses, which needs to parse the types at
;; expansion-time, not at typechecking time when aliases are installed.
(register-resolved-type-alias #'ty (make-Opaque #'pred))
(with-syntax ([hidden (generate-temporary #'pred)])
(quasisyntax/loc stx
(begin