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

Added types for dynamic module access operations.

Browse Source
This commit is contained in:
Eric Dobson 2011-06-23 12:49:15 -04:00 committed by Sam Tobin-Hochstadt
parent 78b68171ea
commit 1a44a82868
1 changed files with 54 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1643,6 +1643,60 @@
(-> -Compiled-Module-Expression (-> -Compiled-Module-Expression
(-opt (make-HeterogenousVector (list -Module-Path -Symbol Univ))))] (-opt (make-HeterogenousVector (list -Module-Path -Symbol Univ))))]
;Section 13.4.3
[dynamic-require
(let ((mod (Un -Module-Path -Resolved-Module-Path -Module-Path-Index)))
(-poly (a)
(cl->* (-> mod (Un (-val #f) (-val 0) -Void) -Void)
(-> mod (Un (-val #f) (-val 0) -Void) (-> a) (Un -Void a))
(->opt mod Sym [(-> Univ)] ManyUniv))))]
[dynamic-require-for-syntax
(let ((mod (Un -Module-Path -Resolved-Module-Path -Module-Path-Index)))
(-poly (a)
(cl->* (-> mod (-val #f) -Void)
(-> mod (-val #f) (-> a) (Un -Void a))
(->opt mod Sym [(-> Univ)] ManyUniv))))]
[module->language-info
(->opt (Un -Module-Path -Path -Resolved-Module-Path) [Univ] (-opt (make-HeterogenousVector (list -Module-Path -Symbol Univ))))]
[module->imports (-> -Compiled-Module-Expression
(-lst (-pair (-opt -Integer)
(-lst -Module-Path-Index))))]
[module->exports
(-> -Compiled-Module-Expression
(-values
(list
(-lst (-pair (-opt -Integer)
(-lst (-pair -Symbol
(-pair
(-lst
(Un -Module-Path-Index
(-pair -Module-Path-Index
(-pair (-opt -Integer)
(-pair -Symbol
(-pair (-opt -Integer)
(-val null)))))))
(-val null))))))
(-lst (-pair (-opt -Integer)
(-lst (-pair -Symbol
(-pair
(-lst
(Un -Module-Path-Index
(-pair -Module-Path-Index
(-pair (-opt -Integer)
(-pair -Symbol
(-pair (-opt -Integer)
(-val null)))))))
(-val null)))))))))]
[compose (-poly (a b c) (-> (-> b c) (-> a b) (-> a c)))] [compose (-poly (a b c) (-> (-> b c) (-> a b) (-> a c)))]