Mercurial > urweb

diff src/compiler.sml @ 163:80192edca30d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Datatypes through corify
author Adam Chlipala <adamc@hcoop.net>
date Tue, 29 Jul 2008 13:16:21 -0400
parents d6d78055f001
children c0ea24dcb86f
line wrap: on
line diff
--- a/src/compiler.sml	Tue Jul 29 12:30:04 2008 -0400
+++ b/src/compiler.sml	Tue Jul 29 13:16:21 2008 -0400
@@ -342,7 +342,7 @@
            print ("Unbound named " ^ Int.toString n ^ "\n")
 
 fun testReduce job =
-    (case tag job of
+    (case reduce job of
          NONE => print "Failed\n"
        | SOME file =>
          (Print.print (CorePrint.p_file CoreEnv.empty file);