Mercurial > urweb

comparison src/cjrize.sml @ 2056:a9159911c3ba

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
New phase: Dbmodecheck
author Adam Chlipala <adam@chlipala.net>
date Sun, 17 Aug 2014 13:07:56 -0400
parents 4d64af730e35
children 278e10629ba1
comparison
equal deleted inserted replaced
2055:7c2229aa22fc 2056:a9159911c3ba
728 in 728 in
729 (dsF, ds, ps, Sm.clearDeclares sm) 729 (dsF, ds, ps, Sm.clearDeclares sm)
730 end) 730 end)
731 ([], [], [], Sm.empty) ds 731 ([], [], [], Sm.empty) ds
732 732
733 val sideInfo = foldl (fn ((n, mode), mp) => IM.insert (mp, n, mode)) IM.empty sideInfo 733 val sideInfo = foldl (fn ((n, mode, dbmode), mp) => IM.insert (mp, n, (mode, dbmode))) IM.empty sideInfo
734 734
735 val ps = map (fn (ek, s, n, ts, t, _, b) => 735 val ps = map (fn (ek, s, n, ts, t, _, b) =>
736 (ek, s, n, ts, t, 736 let
737 getOpt (IM.find (sideInfo, n), L'.ServerOnly), 737 val (side, db) = getOpt (IM.find (sideInfo, n), (L'.ServerOnly, L'.AnyDb))
738 b)) ps 738 in
739 (ek, s, n, ts, t, side, db, b)
740 end) ps
739 in 741 in
740 (List.revAppend (dsF, rev ds), 742 (List.revAppend (dsF, rev ds),
741 ps) 743 ps)
742 end 744 end
743 745