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

Rename type-decl submodule to #%type-decl.

Browse Source 
original commit: 775dc67a3b30686e604cf459c017320a64f128c5
This commit is contained in:
Sam Tobin-Hochstadt 2012-07-11 09:58:44 -04:00
parent fdd870efd5
commit 788e335196
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-racket/env/env-req.rkt vendored
View File

@ -18,6 +18,6 @@
(for ([m (in-list to-require)]
#:when 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)

2
collects/typed-racket/typecheck/tc-toplevel.rkt
View File

@ -342,7 +342,7 @@
(values
#`(begin
(begin-for-syntax
(module* type-decl #f
(module* #%type-decl #f
(require typed-racket/types/numeric-tower typed-racket/env/type-name-env
typed-racket/env/global-env typed-racket/env/type-alias-env)
#,(env-init-code syntax-provide? provide-tbl def-tbl)