From e18863bcabc5d185b7fe1fc750bdf0bbdb5a4f78 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 8 Jun 2008 15:47:44 -0400
Subject: Some con reducing

---
 src/compiler.sml | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

(limited to 'src/compiler.sml')

diff --git a/src/compiler.sml b/src/compiler.sml
index 51fef453..28b92ac8 100644
--- a/src/compiler.sml
+++ b/src/compiler.sml
@@ -72,6 +72,11 @@ fun corify eenv cenv filename =
         NONE => NONE
       | SOME (_, file) => SOME (Corify.corify file)
 
+fun reduce eenv cenv filename =
+    case corify eenv cenv filename of
+        NONE => NONE
+      | SOME file => SOME (Reduce.reduce file)
+
 fun testParse filename =
     case parse filename of
         NONE => print "Failed\n"
@@ -97,4 +102,13 @@ fun testCorify filename =
     handle CoreEnv.UnboundNamed n =>
            print ("Unbound named " ^ Int.toString n ^ "\n")
 
+fun testReduce filename =
+    (case reduce ElabEnv.basis CoreEnv.basis filename of
+         NONE => print "Failed\n"
+       | SOME file =>
+         (Print.print (CorePrint.p_file CoreEnv.basis file);
+          print "\n"))
+    handle CoreEnv.UnboundNamed n =>
+           print ("Unbound named " ^ Int.toString n ^ "\n")
+
 end
-- 
cgit v1.2.3