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

Remove unused lazy-requires

Browse Source
This commit is contained in:
Asumu Takikawa 2015-10-31 02:27:38 -04:00
parent 15aa3d875f
commit 0be2156521
2 changed files with 1 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -85,7 +85,6 @@
;; of loading by not having them when they are unneeded
(lazy-require ["../rep/type-rep.rkt" (Error?)]
["../types/utils.rkt" (fv)]
[syntax/define (normalize-definition)]
[typed-racket/private/parse-type (parse-type)])
(define (with-type* expr ty)

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

@ -157,11 +157,7 @@ the typed racket language.
;; Lazily loaded b/c they're only used sometimes, so we save a lot
;; of loading by not having them when they are unneeded
(begin-for-syntax
(lazy-require ["../rep/type-rep.rkt" (make-Opaque 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)]))
(lazy-require [syntax/define (normalize-definition)]))
(define-for-syntax (with-type* expr ty)
(with-type #`(ann #,expr #,ty)))