Remove unused require.

original commit: 9bd577c4260d4f99275ff74d303c9a37fdd684f7
This commit is contained in:
Eric Dobson 2013-11-17 20:50:25 -08:00
parent a49df31fed
commit 4cf1c41bff

View File

@ -3,18 +3,16 @@
(providing (libs (except racket/base #%module-begin #%top-interaction
with-handlers default-continuation-prompt-tag
define λ lambda define-struct for for*))
(basics #%module-begin #%top-interaction))
(basics #%module-begin #%top-interaction))
(require typed-racket/base-env/extra-procs
(except-in typed-racket/base-env/prims
require-typed-struct-legacy
require/typed-legacy)
typed-racket/base-env/base-types
typed-racket/base-env/base-types-extra
(for-syntax typed-racket/base-env/base-types-extra))
typed-racket/base-env/base-types-extra)
(provide (rename-out [define-type-alias define-type])
(all-from-out typed-racket/base-env/prims)
(all-from-out typed-racket/base-env/base-types)
(all-from-out typed-racket/base-env/base-types-extra)
assert defined? with-type for for*
(for-syntax (all-from-out typed-racket/base-env/base-types-extra)))
assert defined? with-type for for*)