From 9e860c86c7d9c763deb9d51490a6766d9c72ed25 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 24 Jul 2008 10:09:21 -0400
Subject: Record cut

---
 src/expl_util.sml | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'src/expl_util.sml')

diff --git a/src/expl_util.sml b/src/expl_util.sml
index c4f1b1d7..976df246 100644
--- a/src/expl_util.sml
+++ b/src/expl_util.sml
@@ -267,6 +267,16 @@ fun mapfoldB {kind = fk, con = fc, exp = fe, bind} =
                                              S.map2 (mfc ctx rest,
                                                   fn rest' =>
                                                      (EField (e', c', {field = field', rest = rest'}), loc)))))
+              | ECut (e, c, {field, rest}) =>
+                S.bind2 (mfe ctx e,
+                      fn e' =>
+                         S.bind2 (mfc ctx c,
+                              fn c' =>
+                                 S.bind2 (mfc ctx field,
+                                          fn field' =>
+                                             S.map2 (mfc ctx rest,
+                                                  fn rest' =>
+                                                     (ECut (e', c', {field = field', rest = rest'}), loc)))))
               | EFold k =>
                 S.map2 (mfk k,
                          fn k' =>
-- 
cgit v1.2.3