Remove unnecessary requires in extra-env-lang.
Avoids phase 0 dependencies on TR internals.
This commit is contained in:
parent
5ba9633e78
commit
874f426e9c
|
@ -9,11 +9,8 @@
|
|||
(require "../utils/utils.rkt"
|
||||
(for-syntax (private parse-type))
|
||||
(for-syntax racket/base
|
||||
racket/syntax
|
||||
syntax/parse
|
||||
syntax/struct
|
||||
syntax/stx)
|
||||
(types abbrev numeric-tower union filter-ops)
|
||||
(for-syntax (types abbrev numeric-tower union filter-ops)))
|
||||
|
||||
(provide type-environment
|
||||
|
|
Loading…
Reference in New Issue
Block a user