Mercurial > urweb

comparison src/mono_util.sml @ 297:59dc042629b9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
pquery working with all four types of columns
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 13:29:01 -0400
parents df00701f2323
children 52d4c60518d4
comparison
equal deleted inserted replaced
296:5dc11235129d 297:59dc042629b9
143 | ECon (_, _, NONE) => S.return2 eAll 143 | ECon (_, _, NONE) => S.return2 eAll
144 | ECon (dk, n, SOME e) => 144 | ECon (dk, n, SOME e) =>
145 S.map2 (mfe ctx e, 145 S.map2 (mfe ctx e,
146 fn e' => 146 fn e' =>
147 (ECon (dk, n, SOME e'), loc)) 147 (ECon (dk, n, SOME e'), loc))
148 | ENone t =>
149 S.map2 (mft t,
150 fn t' =>
151 (ENone t', loc))
148 | ESome (t, e) => 152 | ESome (t, e) =>
149 S.bind2 (mft t, 153 S.bind2 (mft t,
150 fn t' => 154 fn t' =>
151 S.map2 (mfe ctx e, 155 S.map2 (mfe ctx e,
152 fn e' => 156 fn e' =>