--- a/src/compiler.sml	Sun Jul 13 10:17:06 2008 -0400
+++ b/src/compiler.sml	Sun Jul 13 11:43:57 2008 -0400
@@ -196,8 +196,17 @@
         else
             SOME (Shake.shake file)
 
+fun tag job =
+    case shake' job of
+        NONE => NONE
+      | SOME file =>
+        if ErrorMsg.anyErrors () then
+            NONE
+        else
+            SOME (Tag.tag file)
+
 fun reduce job =
-    case corify job of
+    case tag job of
         NONE => NONE
       | SOME file =>
         if ErrorMsg.anyErrors () then
@@ -285,6 +294,15 @@
     handle CoreEnv.UnboundNamed n =>
            print ("Unbound named " ^ Int.toString n ^ "\n")
 
+fun testTag job =
+    (case tag job of
+         NONE => print "Failed\n"
+       | SOME file =>
+         (Print.print (CorePrint.p_file CoreEnv.empty file);
+          print "\n"))
+    handle CoreEnv.UnboundNamed n =>
+           print ("Unbound named " ^ Int.toString n ^ "\n")
+
 fun testReduce job =
     (case reduce job of
          NONE => print "Failed\n"