diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-04-07 14:11:32 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-04-07 14:11:32 -0400 |
| commit | 1169e58b645a34751d97d9b54e977edd9359587d (patch) | |
| tree | 053aee5bbd985b79f0d1901bc4fb72a44d48c4aa /src/reduce.sml | |
| parent | b872b8f181d7f5d1917dc0e4802f8741c976215d (diff) | |
Track uniqueness sets in table types
Diffstat (limited to 'src/reduce.sml')
| -rw-r--r-- | src/reduce.sml | 5 |
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) |