From 6812db5bd02a37ca0fbf0f04b379ec599f10fd5a Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 19 Oct 2010 17:54:49 -0400 Subject: Fixes for nasty bugs in Reduce and Especialize --- src/reduce.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/reduce.sml') diff --git a/src/reduce.sml b/src/reduce.sml index 7a962926..c18c698b 100644 --- a/src/reduce.sml +++ b/src/reduce.sml @@ -658,7 +658,7 @@ fun kindConAndExp (namedC, namedE) = if ESpecialize.functionInside t then exp (KnownE e1 :: env) e2 else - (ELet (x, con env t, exp env e1, exp (UnknownE :: env) e2), loc) + (ELet (x, t, exp env e1, exp (UnknownE :: env) e2), loc) end | EServerCall (n, es, t) => (EServerCall (n, map (exp env) es, con env t), loc) -- cgit v1.2.3