Rename type-decl
submodule to #%type-decl
.
This commit is contained in:
parent
f036b0bd12
commit
775dc67a3b
2
collects/typed-racket/env/env-req.rkt
vendored
2
collects/typed-racket/env/env-req.rkt
vendored
|
@ -18,6 +18,6 @@
|
||||||
(for ([m (in-list to-require)]
|
(for ([m (in-list to-require)]
|
||||||
#:when m)
|
#:when m)
|
||||||
;(printf ">> loading ~a\n" m)
|
;(printf ">> loading ~a\n" m)
|
||||||
(dynamic-require `(submod ,(fix m) type-decl) #f))))
|
(dynamic-require `(submod ,(fix m) #%type-decl) #f))))
|
||||||
|
|
||||||
(provide add-mod! do-requires module-name)
|
(provide add-mod! do-requires module-name)
|
|
@ -342,7 +342,7 @@
|
||||||
(values
|
(values
|
||||||
#`(begin
|
#`(begin
|
||||||
(begin-for-syntax
|
(begin-for-syntax
|
||||||
(module* type-decl #f
|
(module* #%type-decl #f
|
||||||
(require typed-racket/types/numeric-tower typed-racket/env/type-name-env
|
(require typed-racket/types/numeric-tower typed-racket/env/type-name-env
|
||||||
typed-racket/env/global-env typed-racket/env/type-alias-env)
|
typed-racket/env/global-env typed-racket/env/type-alias-env)
|
||||||
#,(env-init-code syntax-provide? provide-tbl def-tbl)
|
#,(env-init-code syntax-provide? provide-tbl def-tbl)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user