changeset 1186:a4ac900d3085

Remove unpoly1
author Adam Chlipala <adamc@hcoop.net>
date Tue, 16 Mar 2010 15:39:16 -0400
parents 338be96f8533
children ad9829c3c12c
files src/compiler.sig src/compiler.sml
diffstat 2 files changed, 21 insertions(+), 12 deletions(-) [+]
line wrap: on
line diff
--- a/src/compiler.sig	Tue Mar 16 10:09:01 2010 -0400
+++ b/src/compiler.sig	Tue Mar 16 15:39:16 2010 -0400
@@ -90,6 +90,7 @@
     val tag : (Core.file, Core.file) phase
     val reduce : (Core.file, Core.file) phase
     val unpoly : (Core.file, Core.file) phase
+    val especialize : (Core.file, Core.file) phase
     val specialize : (Core.file, Core.file) phase
     val marshalcheck : (Core.file, Core.file) phase
     val effectize : (Core.file, Core.file) phase
@@ -121,13 +122,13 @@
     val toRpcify : (string, Core.file) transform
     val toCore_untangle2 : (string, Core.file) transform
     val toShake2 : (string, Core.file) transform
-    val toUnpoly1 : (string, Core.file) transform 
     val toEspecialize1 : (string, Core.file) transform 
     val toCore_untangle3 : (string, Core.file) transform
     val toShake3 : (string, Core.file) transform
     val toTag : (string, Core.file) transform
     val toReduce : (string, Core.file) transform
-    val toUnpoly2 : (string, Core.file) transform 
+    val toShakey : (string, Core.file) transform
+    val toUnpoly : (string, Core.file) transform 
     val toSpecialize : (string, Core.file) transform 
     val toShake4 : (string, Core.file) transform
     val toEspecialize2 : (string, Core.file) transform 
--- a/src/compiler.sml	Tue Mar 16 10:09:01 2010 -0400
+++ b/src/compiler.sml	Tue Mar 16 15:39:16 2010 -0400
@@ -95,10 +95,18 @@
               end,
     print = #print ph,
     time = fn (input, pmap) => let
+                  val () = if !debug then
+                               print ("Starting " ^ name ^ "....\n")
+                           else
+                               ()
                   val befor = Time.now ()
                   val v = #func ph input
                   val elapsed = Time.- (Time.now (), befor)
               in
+                  if !debug then
+                      print ("Finished " ^ name ^ ".\n")
+                  else
+                      ();
                   (if ErrorMsg.anyErrors () then
                        NONE
                    else
@@ -962,14 +970,7 @@
 val toCore_untangle2 = transform core_untangle "core_untangle2" o toRpcify
 val toShake2 = transform shake "shake2" o toCore_untangle2
 
-val unpoly = {
-    func = Unpoly.unpoly,
-    print = CorePrint.p_file CoreEnv.empty
-}
-
-val toUnpoly1 = transform unpoly "unpoly1" o toShake2
-
-val toEspecialize1 = transform especialize "especialize1" o toUnpoly1
+val toEspecialize1 = transform especialize "especialize1" o toShake2
 
 val toCore_untangle3 = transform core_untangle "core_untangle3" o toEspecialize1
 val toShake3 = transform shake "shake3" o toCore_untangle3
@@ -988,14 +989,21 @@
 
 val toReduce = transform reduce "reduce" o toTag
 
-val toUnpoly2 = transform unpoly "unpoly2" o toReduce
+val toShakey = transform shake "shakey" o toReduce
+
+val unpoly = {
+    func = Unpoly.unpoly,
+    print = CorePrint.p_file CoreEnv.empty
+}
+
+val toUnpoly = transform unpoly "unpoly" o toShakey
 
 val specialize = {
     func = Specialize.specialize,
     print = CorePrint.p_file CoreEnv.empty
 }
 
-val toSpecialize = transform specialize "specialize" o toUnpoly2
+val toSpecialize = transform specialize "specialize" o toUnpoly
 
 val toShake4 = transform shake "shake4" o toSpecialize