summaryrefslogtreecommitdiff
path: root/src/core_env.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-08-03 12:43:20 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-08-03 12:43:20 -0400
commit6314b4c27a14576b356258dad74607168135cb51 (patch)
treeec853f9102b3d3e5729457db7a10fd4f81165431 /src/core_env.sml
parent1798f5eb1b11613d88acb307472922976f1583b4 (diff)
Compiled pattern matching to C
Diffstat (limited to 'src/core_env.sml')
-rw-r--r--src/core_env.sml4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/core_env.sml b/src/core_env.sml
index 4895de9c..1cc10ada 100644
--- a/src/core_env.sml
+++ b/src/core_env.sml
@@ -113,8 +113,8 @@ fun pushDatatype (env : env) x n xncs =
namedC = #namedC env,
datatypes = IM.insert (#datatypes env, n, (x, xncs)),
- constructors = foldl (fn ((x, n, to), constructors) =>
- IM.insert (constructors, n, (x, to, n)))
+ constructors = foldl (fn ((x, n', to), constructors) =>
+ IM.insert (constructors, n', (x, to, n)))
(#constructors env) xncs,
relE = #relE env,