diff options
author | Adam Chlipala <adam@chlipala.net> | 2010-10-19 17:54:49 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2010-10-19 17:54:49 -0400 |
commit | 6812db5bd02a37ca0fbf0f04b379ec599f10fd5a (patch) | |
tree | e98246a5e91470c3dc887a34af6b88dd13fcd683 /src/reduce.sml | |
parent | f7ec390b4c8f0d6173c00b76dafb9e3beb96c75b (diff) |
Fixes for nasty bugs in Reduce and Especialize
Diffstat (limited to 'src/reduce.sml')
-rw-r--r-- | src/reduce.sml | 2 |
1 files changed, 1 insertions, 1 deletions
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) |