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

Fix/add base-env types for Ref 14.4.3

Browse Source 
original commit: 872e21eff13087f63cd0d366c17effe040a4aeee
This commit is contained in:
Asumu Takikawa 2014-10-29 00:47:47 -04:00
parent e0d79e11c9
commit 18e484c116
1 changed files with 13 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
View File

@ -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)]