Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
30:e6ccf961d8a3 31:1c91c5e6840f
68 end 68 end
69 69
70 fun corify eenv cenv filename = 70 fun corify eenv cenv filename =
71 case elaborate eenv filename of 71 case elaborate eenv filename of
72 NONE => NONE 72 NONE => NONE
73 | SOME (_, file) => 73 | SOME (file, _) =>
74 if ErrorMsg.anyErrors () then 74 if ErrorMsg.anyErrors () then
75 NONE 75 NONE
76 else 76 else
77 SOME (Corify.corify file) 77 SOME (Corify.corify file)
78 78
129 print "\n") 129 print "\n")
130 130
131 fun testElaborate filename = 131 fun testElaborate filename =
132 (case elaborate ElabEnv.basis filename of 132 (case elaborate ElabEnv.basis filename of
133 NONE => print "Failed\n" 133 NONE => print "Failed\n"
134 | SOME (_, file) => 134 | SOME (file, _) =>
135 (Print.print (ElabPrint.p_file ElabEnv.basis file); 135 (Print.print (ElabPrint.p_file ElabEnv.basis file);
136 print "\n")) 136 print "\n"))
137 handle ElabEnv.UnboundNamed n => 137 handle ElabEnv.UnboundNamed n =>
138 print ("Unbound named " ^ Int.toString n ^ "\n") 138 print ("Unbound named " ^ Int.toString n ^ "\n")
139 139