diff src/untangle.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 25b28625d4df
children 25874084bf1f
line wrap: on
line diff
--- a/src/untangle.sml	Tue Mar 12 16:21:20 2013 -0400
+++ b/src/untangle.sml	Fri Mar 15 16:09:55 2013 -0400
@@ -43,7 +43,7 @@
 
       | _ => s
 
-fun untangle file =
+fun untangle (file : file) =
     let
         fun decl (dAll as (d, loc)) =
             case d of
@@ -208,7 +208,7 @@
                 end
               | _ => [dAll]
     in
-        ListUtil.mapConcat decl file
+        (ListUtil.mapConcat decl (#1 file), #2 file)
     end
 
 end