From 68879bbb4bf58e4709c96ba6904071ce5d24a906 Mon Sep 17 00:00:00 2001
From: Ziv Scully <ziv@mit.edu>
Date: Sun, 13 Sep 2015 17:02:17 -0400
Subject: Make Mono.file a record for readability upon extension.

---
 src/mono_util.sml | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

(limited to 'src/mono_util.sml')

diff --git a/src/mono_util.sml b/src/mono_util.sml
index ba10ad32..64aeb318 100644
--- a/src/mono_util.sml
+++ b/src/mono_util.sml
@@ -695,9 +695,9 @@ fun mapfoldB (all as {bind, ...}) =
     let
         val mfd = Decl.mapfoldB all
 
-        fun mff ctx (ds, ps) =
-            case ds of
-                nil => S.return2 (nil, ps)
+        fun mff ctx (file : file) =
+            case #decls file of
+                nil => S.return2 {decls = nil, sideInfo = #sideInfo file}
               | d :: ds' =>
                 S.bind2 (mfd ctx d,
                          fn d' =>
@@ -736,9 +736,9 @@ fun mapfoldB (all as {bind, ...}) =
                                       | DPolicy _ => ctx
                                       | DOnError _ => ctx
                             in
-                                S.map2 (mff ctx' (ds', ps),
-                                     fn (ds', _) =>
-                                        (d' :: ds', ps))
+                                S.map2 (mff ctx' {decls = ds', sideInfo = #sideInfo file},
+                                        fn {decls = ds', ...} =>
+                                           {decls = d' :: ds', sideInfo = #sideInfo file})
                             end)
     in
         mff
@@ -791,7 +791,7 @@ fun maxName (f : file) =
                 | DStyle _ => count
                 | DTask _ => count
                 | DPolicy _ => count
-                | DOnError _ => count) 0 (#1 f)
+                | DOnError _ => count) 0 (#decls f)
 
 fun appLoc f (fl : file) =
     let
@@ -822,7 +822,7 @@ fun appLoc f (fl : file) =
               | PolUpdate e1 => eal e1
               | PolSequence e1 => eal e1
     in
-        app appl (#1 fl)
+        app appl (#decls fl)
     end
 
 end
-- 
cgit v1.2.3