From 8d95d8065c893f71a452da6520c2655730675fc7 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Thu, 21 Jul 2011 16:59:50 -0400 Subject: [PATCH] Correct type on typed variant of module->namespace. original commit: 54285e2f922537a3f10d24ee99c4381666bf9a90 --- collects/typed-scheme/base-env/base-env.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/base-env/base-env.rkt b/collects/typed-scheme/base-env/base-env.rkt index d0bcea77..c31ff602 100644 --- a/collects/typed-scheme/base-env/base-env.rkt +++ b/collects/typed-scheme/base-env/base-env.rkt @@ -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)]