Support vector arguments to `datum->syntax'.
Related to PR 10290.
This commit is contained in:
parent
eb56a39a50
commit
4185da9035
|
@ -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->*
|
||||
|
|
Loading…
Reference in New Issue
Block a user