From 0be2156521fdbe71640edb4349da237e8fe71659 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Sat, 31 Oct 2015 02:27:38 -0400 Subject: [PATCH] Remove unused lazy-requires --- typed-racket-lib/typed-racket/base-env/prims-contract.rkt | 1 - typed-racket-lib/typed-racket/base-env/prims.rkt | 6 +----- 2 files changed, 1 insertion(+), 6 deletions(-) diff --git a/typed-racket-lib/typed-racket/base-env/prims-contract.rkt b/typed-racket-lib/typed-racket/base-env/prims-contract.rkt index 69ea6eca..7f96ad89 100644 --- a/typed-racket-lib/typed-racket/base-env/prims-contract.rkt +++ b/typed-racket-lib/typed-racket/base-env/prims-contract.rkt @@ -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) diff --git a/typed-racket-lib/typed-racket/base-env/prims.rkt b/typed-racket-lib/typed-racket/base-env/prims.rkt index 155c0ebb..da4921b3 100644 --- a/typed-racket-lib/typed-racket/base-env/prims.rkt +++ b/typed-racket-lib/typed-racket/base-env/prims.rkt @@ -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)))