summaryrefslogtreecommitdiff
path: root/src/core_util.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-10-31 09:30:22 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-10-31 09:30:22 -0400
commit389aae9254a3bdee3e79bb75b7355de270f2e8dd (patch)
tree81322ab53b15b0d76854756431ac4c662825ad59 /src/core_util.sml
parent565f72b0d162990dcfcb91873102915bf8b9b3d7 (diff)
Replace 'with' with '++'
Diffstat (limited to 'src/core_util.sml')
-rw-r--r--src/core_util.sml16
1 files changed, 7 insertions, 9 deletions
diff --git a/src/core_util.sml b/src/core_util.sml
index df8465ae..f0697183 100644
--- a/src/core_util.sml
+++ b/src/core_util.sml
@@ -424,19 +424,17 @@ fun mapfoldB {kind = fk, con = fc, exp = fe, bind} =
S.map2 (mfc ctx rest,
fn rest' =>
(EField (e', c', {field = field', rest = rest'}), loc)))))
- | EWith (e1, c, e2, {field, rest}) =>
+ | EConcat (e1, c1, e2, c2) =>
S.bind2 (mfe ctx e1,
fn e1' =>
- S.bind2 (mfc ctx c,
- fn c' =>
+ S.bind2 (mfc ctx c1,
+ fn c1' =>
S.bind2 (mfe ctx e2,
fn e2' =>
- S.bind2 (mfc ctx field,
- fn field' =>
- S.map2 (mfc ctx rest,
- fn rest' =>
- (EWith (e1', c', e2', {field = field', rest = rest'}),
- loc))))))
+ S.map2 (mfc ctx c2,
+ fn c2' =>
+ (EConcat (e1', c1', e2', c2'),
+ loc)))))
| ECut (e, c, {field, rest}) =>
S.bind2 (mfe ctx e,
fn e' =>