From eed2c374954164c10efed36b19466dc1d116e016 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 7 Jul 2008 19:33:08 -0400 Subject: [PATCH] Need to do the same for regular Poly as well. --- collects/typed-scheme/private/type-rep.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/private/type-rep.ss b/collects/typed-scheme/private/type-rep.ss index be57887412..e43ca99da1 100644 --- a/collects/typed-scheme/private/type-rep.ss +++ b/collects/typed-scheme/private/type-rep.ss @@ -474,7 +474,7 @@ #'(? Poly? (app (lambda (t) (let* ([n (Poly-n t)] - [syms (hash-ref name-table t)]) + [syms (hash-ref name-table t (lambda _ (build-list n (lambda _ (gensym)))))]) (list syms (Poly-body* syms t)))) (list nps bp)))])))