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

Correct type on typed variant of module->namespace.

Browse Source 
original commit: 54285e2f922537a3f10d24ee99c4381666bf9a90
This commit is contained in:
Tony Garnock-Jones 2011-07-21 16:59:50 -04:00 committed by Vincent St-Amour
parent 9c848fe5a5
commit 8d95d8065c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/base-env/base-env.rkt
View File

@ -1129,7 +1129,7 @@
[namespace-attach-module (->opt -Namespace -Module-Path [-Namespace] Univ)]
[namespace-unprotect-module (->opt -Inspector -Module-Path [-Namespace] -Void)]
[namespace-module-registry (-> -Namespace Univ)]
[module->namespace (-> (-mu x (-lst (Un Sym -String -Nat x (-val #f)))) -Namespace)]
[module->namespace (-> -Module-Path -Namespace)]
[namespace-syntax-introduce (-poly (a) (-> (-Syntax a) (-Syntax a)))]
[module-provide-protected? (-> -Module-Path-Index Sym B)]