diff src/mono_print.sml @ 2251:25874084bf1f

Make Mono.file a record for readability upon extension.
author Ziv Scully <ziv@mit.edu>
date Sun, 13 Sep 2015 17:02:17 -0400
parents 278e10629ba1
children e843a04499d4
line wrap: on
line diff
--- a/src/mono_print.sml	Sun Sep 13 16:02:45 2015 -0400
+++ b/src/mono_print.sml	Sun Sep 13 17:02:17 2015 -0400
@@ -542,12 +542,12 @@
                           p_policy env p]
       | DOnError _ => string "ONERROR"
 
-fun p_file env (file, _) =
+fun p_file env (file : file) =
     let
         val (pds, _) = ListUtil.foldlMap (fn (d, env) =>
                                              (p_decl env d,
                                               E.declBinds env d))
-                             env file
+                             env (#decls file)
     in
         p_list_sep newline (fn x => x) pds
     end