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

Adjust type of dynamic-require (returns 1 value)

Browse Source 
The implementation (and now docs) of dynamic-require
specifies that it can only return a single value, even
when the required binding is syntax.
This commit is contained in:
Asumu Takikawa 2015-02-12 14:18:04 -05:00
parent 7ae1247539
commit 177d1a7f68
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
typed-racket-lib/typed-racket/base-env/base-env.rkt
View File

@ -2305,14 +2305,14 @@
(-poly (a)
(cl->* (-> mod (Un (one-of/c #f 0) -Void) -Void)
(-> mod (Un (one-of/c #f 0) -Void) (-> a) (Un -Void a))
(->opt mod Sym [(-> Univ)] ManyUniv))))]
(->opt mod Sym [(-> Univ)] Univ))))]
[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))))]
(->opt mod Sym [(-> Univ)] Univ))))]
[module-declared?
(->opt (Un -Module-Path -Resolved-Module-Path -Module-Path-Index)