Mercurial > urweb

diff src/mono_reduce.sml @ 1845:c1e3805e604e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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 216e92b39fc1
children e15234fbb163
line wrap: on
line diff
--- a/src/mono_reduce.sml	Tue Mar 12 16:21:20 2013 -0400
+++ b/src/mono_reduce.sml	Fri Mar 15 16:09:55 2013 -0400
@@ -308,7 +308,7 @@
                                              U.Exp.RelE _ => n + 1
                                            | _ => n} 0
 
-fun reduce file =
+fun reduce (file : file) =
     let
         val (timpures, impures, absCounts) =
             foldl (fn ((d, _), (timpures, impures, absCounts)) =>
@@ -366,7 +366,7 @@
                                      absCounts vis)
                             | _ => (timpures, impures, absCounts)
                       end)
-                  (IS.empty, IS.empty, IM.empty) file
+                  (IS.empty, IS.empty, IM.empty) (#1 file)
 
         val uses = U.File.fold {typ = fn (_, m) => m,
                                 exp = fn (e, m) =>