summaryrefslogtreecommitdiff
path: root/src/reduce.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-04-07 14:11:32 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-04-07 14:11:32 -0400
commitfd1a963a81327f7b6a20a0f2ac131d2525649400 (patch)
tree053aee5bbd985b79f0d1901bc4fb72a44d48c4aa /src/reduce.sml
parente52d6c0bc6e2e911515d21c6acc1e311a8e30db9 (diff)
Track uniqueness sets in table types
Diffstat (limited to 'src/reduce.sml')
-rw-r--r--src/reduce.sml5
1 files changed, 3 insertions, 2 deletions
diff --git a/src/reduce.sml b/src/reduce.sml
index 6754d708..d6357f1b 100644
--- a/src/reduce.sml
+++ b/src/reduce.sml
@@ -461,8 +461,9 @@ fun reduce file =
((DValRec (map (fn (x, n, t, e, s) => (x, n, con namedC [] t, exp (namedC, namedE) [] e, s)) vis), loc),
st)
| DExport _ => (d, st)
- | DTable (s, n, c, s', e) => ((DTable (s, n, con namedC [] c, s',
- exp (namedC, namedE) [] e), loc), st)
+ | DTable (s, n, c, s', e, cc) => ((DTable (s, n, con namedC [] c, s',
+ exp (namedC, namedE) [] e,
+ con namedC [] cc), loc), st)
| DSequence _ => (d, st)
| DDatabase _ => (d, st)
| DCookie (s, n, c, s') => ((DCookie (s, n, con namedC [] c, s'), loc), st)