summaryrefslogtreecommitdiff
path: root/src/reduce.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-04-07 12:24:31 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-04-07 12:24:31 -0400
commitb872b8f181d7f5d1917dc0e4802f8741c976215d (patch)
treeb422a6ade536f96b318a9d9547f2f2c95562691a /src/reduce.sml
parent84bbd76f640d3e7718c090e229bb05d5f5e49eac (diff)
UNIQUE constraints
Diffstat (limited to 'src/reduce.sml')
-rw-r--r--src/reduce.sml3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/reduce.sml b/src/reduce.sml
index 8664d38d..6754d708 100644
--- a/src/reduce.sml
+++ b/src/reduce.sml
@@ -461,7 +461,8 @@ 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') => ((DTable (s, n, con namedC [] c, s'), loc), st)
+ | DTable (s, n, c, s', e) => ((DTable (s, n, con namedC [] c, s',
+ exp (namedC, namedE) [] e), loc), st)
| DSequence _ => (d, st)
| DDatabase _ => (d, st)
| DCookie (s, n, c, s') => ((DCookie (s, n, con namedC [] c, s'), loc), st)