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 | 26ad31287745567b98b357de9793a0e795c63334 (patch) | |
| tree | 6fa2aa05d829b2b71c6e2d778b4898999992a00f /src/shake.sml | |
| parent | 98370da7e9f70e3d83f666019b765e15f617b846 (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))) |