diff src/fuse.sml @ 1845:c1e3805e604e

Make Scriptcheck catch more script/message-passing uses, and move the phase earlier in compilation
author Adam Chlipala <adam@chlipala.net>
date Fri, 15 Mar 2013 16:09:55 -0400
parents 9304474170ed
children 25874084bf1f
line wrap: on
line diff
--- a/src/fuse.sml	Tue Mar 12 16:21:20 2013 -0400
+++ b/src/fuse.sml	Fri Mar 15 16:09:55 2013 -0400
@@ -144,9 +144,9 @@
                  (funcs, maxName))
             end
 
-        val (file, _) = ListUtil.foldlMap doDecl (IM.empty, U.File.maxName file + 1) file
+        val (ds, _) = ListUtil.foldlMap doDecl (IM.empty, U.File.maxName file + 1) (#1 file)
     in
-        file
+        (ds, #2 file)
     end
 
 end