Mercurial > urweb
comparison src/expl_util.sml @ 445:dfc8c991abd0
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' => |