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 | 4e1fa507a878e620dfa4d2ff7e8170e762e7505f (patch) | |
tree | e98246a5e91470c3dc887a34af6b88dd13fcd683 /src/reduce.sml | |
parent | ab0906b88c9a9815536dc03055d3a5e42147ffcc (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) |