diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-04-07 16:14:31 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-04-07 16:14:31 -0400 |
commit | a4849d43a72070576fbb7a0d3a48956948152899 (patch) | |
tree | 6fa2aa05d829b2b71c6e2d778b4898999992a00f /src/shake.sml | |
parent | e56ecefbc8cc0251d30511ec8c6cdc8dca25a263 (diff) |
PRIMARY KEY
Diffstat (limited to 'src/shake.sml')
-rw-r--r-- | src/shake.sml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/shake.sml b/src/shake.sml index 19204ebb..378e8276 100644 --- a/src/shake.sml +++ b/src/shake.sml @@ -59,9 +59,10 @@ fun shake file = val (usedE, usedC, table_cs) = List.foldl (fn ((DExport (_, n), _), (usedE, usedC, table_cs)) => (IS.add (usedE, n), usedE, table_cs) - | ((DTable (_, _, c, _, e, _), _), (usedE, usedC, table_cs)) => + | ((DTable (_, _, c, _, pe, _, ce, _), _), (usedE, usedC, table_cs)) => let - val (usedE, usedC) = usedVars (usedE, usedC) e + val (usedE, usedC) = usedVars (usedE, usedC) pe + val (usedE, usedC) = usedVars (usedE, usedC) ce in (usedE, usedC, c :: table_cs) end @@ -79,7 +80,7 @@ fun shake file = IM.insert (edef, n, (all_ns, t, e))) edef vis) end | ((DExport _, _), acc) => acc - | ((DTable (_, n, c, _, _, _), _), (cdef, edef)) => + | ((DTable (_, n, c, _, _, _, _, _), _), (cdef, edef)) => (cdef, IM.insert (edef, n, ([], c, dummye))) | ((DSequence (_, n, _), _), (cdef, edef)) => (cdef, IM.insert (edef, n, ([], dummyt, dummye))) |