Mercurial > urweb

diff src/compiler.sml @ 31:1c91c5e6840f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Simple signature matching
author Adam Chlipala <adamc@hcoop.net>
date Thu, 12 Jun 2008 17:16:20 -0400
parents 537db4ee89f4
children 0ff8c2728634
line wrap: on
line diff
--- a/src/compiler.sml	Thu Jun 12 14:04:22 2008 -0400
+++ b/src/compiler.sml	Thu Jun 12 17:16:20 2008 -0400
@@ -70,7 +70,7 @@
 fun corify eenv cenv filename =
     case elaborate eenv filename of
         NONE => NONE
-      | SOME (_, file) =>
+      | SOME (file, _) =>
         if ErrorMsg.anyErrors () then
             NONE
         else
@@ -131,7 +131,7 @@
 fun testElaborate filename =
     (case elaborate ElabEnv.basis filename of
          NONE => print "Failed\n"
-       | SOME (_, file) =>
+       | SOME (file, _) =>
          (Print.print (ElabPrint.p_file ElabEnv.basis file);
           print "\n"))
     handle ElabEnv.UnboundNamed n =>