Conversion to Core

1 files changed, 14 insertions, 1 deletions

diff --git a/src/compiler.sml b/src/compiler.sml
index 6ea5f1dc..51fef453 100644
--- a/src/compiler.sml
+++ b/src/compiler.sml
@@ -66,7 +66,11 @@ fun elaborate env filename =
             else
                 SOME out
         end
-            
+
+fun corify eenv cenv filename =
+    case elaborate eenv filename of
+        NONE => NONE
+      | SOME (_, file) => SOME (Corify.corify file)
 
 fun testParse filename =
     case parse filename of
@@ -84,4 +88,13 @@ fun testElaborate filename =
     handle ElabEnv.UnboundNamed n =>
            print ("Unbound named " ^ Int.toString n ^ "\n")
 
+fun testCorify filename =
+    (case corify 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