diff options
author | Adam Chlipala <adam@chlipala.net> | 2014-08-17 13:07:56 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2014-08-17 13:07:56 -0400 |
commit | 31d4626ce7c03b354706c6b369fdce35a83a944b (patch) | |
tree | e8dd9defb6693cf3a9e153494da978d2391854c2 /src/cjrize.sml | |
parent | 089789ea474499ba2e347bc7de7954303d54d8b2 (diff) |
New phase: Dbmodecheck
Diffstat (limited to 'src/cjrize.sml')
-rw-r--r-- | src/cjrize.sml | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/src/cjrize.sml b/src/cjrize.sml index 6dc0299c..11174162 100644 --- a/src/cjrize.sml +++ b/src/cjrize.sml @@ -730,12 +730,14 @@ fun cjrize (ds, sideInfo) = end) ([], [], [], Sm.empty) ds - val sideInfo = foldl (fn ((n, mode), mp) => IM.insert (mp, n, mode)) IM.empty sideInfo + val sideInfo = foldl (fn ((n, mode, dbmode), mp) => IM.insert (mp, n, (mode, dbmode))) IM.empty sideInfo val ps = map (fn (ek, s, n, ts, t, _, b) => - (ek, s, n, ts, t, - getOpt (IM.find (sideInfo, n), L'.ServerOnly), - b)) ps + let + val (side, db) = getOpt (IM.find (sideInfo, n), (L'.ServerOnly, L'.AnyDb)) + in + (ek, s, n, ts, t, side, db, b) + end) ps in (List.revAppend (dsF, rev ds), ps) |