Mercurial > urweb
comparison src/scriptcheck.sml @ 2056:a9159911c3ba
New phase: Dbmodecheck
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 17 Aug 2014 13:07:56 -0400 |
parents | c1e3805e604e |
children | 3dd041b00087 |
comparison
equal
deleted
inserted
replaced
2055:7c2229aa22fc | 2056:a9159911c3ba |
---|---|
96 (); | 96 (); |
97 ServerAndPullAndPush) | 97 ServerAndPullAndPush) |
98 else if IS.member (pull_ids, n) then | 98 else if IS.member (pull_ids, n) then |
99 ServerAndPull | 99 ServerAndPull |
100 else | 100 else |
101 ServerOnly)) (IS.listItems all_ids) | 101 ServerOnly, AnyDb)) (IS.listItems all_ids) |
102 in | 102 in |
103 (ds, ps) | 103 (ds, ps) |
104 end | 104 end |
105 | 105 |
106 end | 106 end |