From 18e484c116b7b87fc858b6d0803dfd3b73eea30f Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Wed, 29 Oct 2014 00:47:47 -0400 Subject: [PATCH] Fix/add base-env types for Ref 14.4.3 original commit: 872e21eff13087f63cd0d366c17effe040a4aeee --- .../typed-racket/base-env/base-env.rkt | 17 +++++++++++++---- 1 file changed, 13 insertions(+), 4 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt index 047dba48..ce5d0921 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt @@ -2284,16 +2284,21 @@ (-> mod (-val #f) (-> a) (Un -Void a)) (->opt mod Sym [(-> Univ)] ManyUniv))))] +[module-declared? + (->opt (Un -Module-Path -Resolved-Module-Path -Module-Path-Index) + [Univ] + -Boolean)] + [module->language-info (->opt (Un -Module-Path -Path -Resolved-Module-Path) [Univ] (-opt (make-HeterogeneousVector (list -Module-Path -Symbol Univ))))] -[module->imports (-> -Compiled-Module-Expression - (-lst (-pair (-opt -Integer) - (-lst -Module-Path-Index))))] +[module->imports (-> (Un -Module-Path -Resolved-Module-Path -Module-Path-Index) + (-lst (-pair (-opt -Integer) + (-lst -Module-Path-Index))))] [module->exports - (-> -Compiled-Module-Expression + (-> (Un -Module-Path -Resolved-Module-Path) (-values (list (-lst (-pair (-opt -Integer) @@ -2313,6 +2318,10 @@ -Symbol (-opt -Integer)))))))))))] +[module-predefined? + (-> (Un -Module-Path -Resolved-Module-Path -Module-Path-Index) + -Boolean)] + ;; Section 14.5 (Impersonators and Chaperones) [impersonator? (Univ . -> . B)] [chaperone? (Univ . -> . B)]