From b952c5480329a4fe331c7e779edbdf482ef86054 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 16 Jun 2008 16:32:34 -0400 Subject: [PATCH] Fix code gen for PolyDots defs. --- collects/typed-scheme/private/init-envs.ss | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/typed-scheme/private/init-envs.ss b/collects/typed-scheme/private/init-envs.ss index 9974a4ce57..d0dac77c0c 100644 --- a/collects/typed-scheme/private/init-envs.ss +++ b/collects/typed-scheme/private/init-envs.ss @@ -25,6 +25,7 @@ [(Opaque: pred cert) `(make-Opaque (quote-syntax ,pred) (syntax-local-certifier))] [(Mu-name: n b) `(make-Mu ,(sub n) ,(sub b))] [(Poly-names: ns b) `(make-Poly (list ,@(map sub ns)) ,(sub b))] + [(PolyDots-names: ns b) `(make-PolyDots (list ,@(map sub ns)) ,(sub b))] [(? Type? (app (lambda (v) (vector->list (struct->vector v))) (list-rest tag seq vals))) `(,(gen-constructor tag) ,@(map sub vals))] [(? Effect? (app (lambda (v) (vector->list (struct->vector v))) (list-rest tag seq vals)))