From 047af2b6193394ef5cabc9e8be8be2282f727360 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 25 Aug 2011 12:03:19 -0400 Subject: [PATCH] Support vector arguments to `datum->syntax'. Related to PR 10290. original commit: 4185da9035fc3c6aa5a5de796f0d6b077e3b72ec --- collects/typed-scheme/base-env/base-env.rkt | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/collects/typed-scheme/base-env/base-env.rkt b/collects/typed-scheme/base-env/base-env.rkt index 25aac651..a2fceeae 100644 --- a/collects/typed-scheme/base-env/base-env.rkt +++ b/collects/typed-scheme/base-env/base-env.rkt @@ -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->*