Mercurial > urweb

comparison src/expl_util.sml @ 445:dfc8c991abd0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Replace 'with' with '++'
author Adam Chlipala <adamc@hcoop.net>
date Fri, 31 Oct 2008 09:30:22 -0400
parents 075b36dbb1a4
children 89f766f19d5b
comparison
equal deleted inserted replaced
444:f45f23ae20ed 445:dfc8c991abd0
280 S.bind2 (mfc ctx field, 280 S.bind2 (mfc ctx field,
281 fn field' => 281 fn field' =>
282 S.map2 (mfc ctx rest, 282 S.map2 (mfc ctx rest,
283 fn rest' => 283 fn rest' =>
284 (EField (e', c', {field = field', rest = rest'}), loc))))) 284 (EField (e', c', {field = field', rest = rest'}), loc)))))
285 | EWith (e1, c, e2, {field, rest}) => 285 | EConcat (e1, c1, e2, c2) =>
286 S.bind2 (mfe ctx e1, 286 S.bind2 (mfe ctx e1,
287 fn e1' => 287 fn e1' =>
288 S.bind2 (mfc ctx c, 288 S.bind2 (mfc ctx c1,
289 fn c' => 289 fn c1' =>
290 S.bind2 (mfe ctx e2, 290 S.bind2 (mfe ctx e2,
291 fn e2' => 291 fn e2' =>
292 S.bind2 (mfc ctx field, 292 S.map2 (mfc ctx c2,
293 fn field' => 293 fn c2' =>
294 S.map2 (mfc ctx rest, 294 (EConcat (e1', c1', e2', c2'),
295 fn rest' => 295 loc)))))
296 (EWith (e1', c', e2', {field = field', rest = rest'}),
297 loc))))))
298 | ECut (e, c, {field, rest}) => 296 | ECut (e, c, {field, rest}) =>
299 S.bind2 (mfe ctx e, 297 S.bind2 (mfe ctx e,
300 fn e' => 298 fn e' =>
301 S.bind2 (mfc ctx c, 299 S.bind2 (mfc ctx c,
302 fn c' => 300 fn c' =>