[MLton-commit] r6726

[Matthew Fluet]

Code refactoring to avoid unecessary ref.
----------------------------------------------------------------------

U   mlton/trunk/mlton/backend/backend.fun

----------------------------------------------------------------------

Modified: mlton/trunk/mlton/backend/backend.fun
===================================================================
--- mlton/trunk/mlton/backend/backend.fun	2008-08-19 22:11:19 UTC (rev 6725)
+++ mlton/trunk/mlton/backend/backend.fun	2008-08-19 22:11:28 UTC (rev 6726)
@@ -156,7 +156,7 @@
       fun rssaSimplify p = 
          let
             open Rssa
-            fun pass ({name, doit}, p) =
+            fun pass' ({name, doit}, sel, p) =
                let
                   val _ =
                      let open Control
@@ -167,16 +167,20 @@
                      end
                   val p =
                      Control.passTypeCheck
-                     {display = Control.Layouts Program.layouts,
+                     {display = Control.Layouts
+                                (fn (r,output) =>
+                                 Program.layouts (sel r, output)),
                       name = name,
-                      stats = Program.layoutStats,
+                      stats = Program.layoutStats o sel,
                       style = Control.No,
                       suffix = "post.rssa",
                       thunk = fn () => doit p,
-                      typeCheck = Program.typeCheck}
+                      typeCheck = Program.typeCheck o sel}
                in
                   p
                end 
+            fun pass ({name, doit}, p) =
+               pass' ({name = name, doit = doit}, fn p => p, p)
             fun maybePass ({name, doit}, p) =
                if List.exists (!Control.dropPasses, fn re =>
                                Regexp.Compiled.matchesAll (re, name))
@@ -194,20 +198,9 @@
                                 doit = Program.shrink}, p)
             val () = Program.checkHandlers p
             val (p, makeProfileInfo) =
-               let
-                  val makeProfileInfoRef = 
-                     ref (fn _ => Error.bug "Backend.toMachine.rssaSimplify: makeProfileInfoRef")
-                  fun doit p =
-                     let
-                        val (p, makeProfileInfo) = ImplementProfiling.doit p
-                     in
-                        makeProfileInfoRef := makeProfileInfo
-                        ; p
-                     end
-                  val p = pass ({name = "implementProfiling", doit = doit}, p)
-               in
-                  (p, !makeProfileInfoRef)
-               end
+               pass' ({name = "implementProfiling",
+                       doit = ImplementProfiling.doit},
+                      fn (p,_) => p, p)
             val p = maybePass ({name = "rssaOrderFunctions", 
                                 doit = Program.orderFunctions}, p)
          in