Mercurial > urweb

comparison src/compiler.sml @ 32:0ff8c2728634

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Matching values in signatures
author Adam Chlipala <adamc@hcoop.net>
date Thu, 12 Jun 2008 17:35:51 -0400
parents 1c91c5e6840f
children d16ef24de78b
comparison
equal deleted inserted replaced
31:1c91c5e6840f 32:0ff8c2728634
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 "Succeeded\n";
136 Print.print (ElabPrint.p_file ElabEnv.basis file);
136 print "\n")) 137 print "\n"))
137 handle ElabEnv.UnboundNamed n => 138 handle ElabEnv.UnboundNamed n =>
138 print ("Unbound named " ^ Int.toString n ^ "\n") 139 print ("Unbound named " ^ Int.toString n ^ "\n")
139 140
140 fun testCorify filename = 141 fun testCorify filename =