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

Support vector arguments to `datum->syntax'.

Browse Source 
Related to PR 10290.

original commit: 4185da9035fc3c6aa5a5de796f0d6b077e3b72ec
This commit is contained in:
Sam Tobin-Hochstadt 2011-08-25 12:03:19 -04:00
parent 2d731cdfc8
commit 047af2b619
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1210,7 +1210,13 @@
(-opt -Integer)
(-opt -Integer)
(-opt -Integer)))]
[srcloc (Un S (-val #f) srclist)]
[srcvec (make-HeterogenousVector (list
Univ
(-opt -Integer)
(-opt -Integer)
(-opt -Integer)
(-opt -Integer)))]
[srcloc (Un S (-val #f) srclist srcvec)]
[prop (-opt S)]
[cert (-opt S)])
(cl->*