diff src/core_print.sml @ 31:1c91c5e6840f

Simple signature matching
author Adam Chlipala <adamc@hcoop.net>
date Thu, 12 Jun 2008 17:16:20 -0400
parents 537db4ee89f4
children 02f42e9a1825
line wrap: on
line diff
--- a/src/core_print.sml	Thu Jun 12 14:04:22 2008 -0400
+++ b/src/core_print.sml	Thu Jun 12 17:16:20 2008 -0400
@@ -258,9 +258,9 @@
 
 fun p_file env file =
     let
-        val (_, pds) = ListUtil.mapfoldl (fn (d, env) =>
-                                             (E.declBinds env d,
-                                              p_decl env d))
+        val (pds, _) = ListUtil.foldlMap (fn (d, env) =>
+                                             (p_decl env d,
+                                              E.declBinds env d))
                              env file
     in
         p_list_sep newline (fn x => x) pds