Mercurial > urweb

comparison src/compiler.sml @ 110:3739af9e727a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Starting with closure links
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 11:43:57 -0400
parents 813e5a52063d
children 6c88b44efcfa
comparison
equal deleted inserted replaced
109:813e5a52063d 110:3739af9e727a
194 if ErrorMsg.anyErrors () then 194 if ErrorMsg.anyErrors () then
195 NONE 195 NONE
196 else 196 else
197 SOME (Shake.shake file) 197 SOME (Shake.shake file)
198 198
199 fun tag job =
200 case shake' job of
201 NONE => NONE
202 | SOME file =>
203 if ErrorMsg.anyErrors () then
204 NONE
205 else
206 SOME (Tag.tag file)
207
199 fun reduce job = 208 fun reduce job =
200 case corify job of 209 case tag job of
201 NONE => NONE 210 NONE => NONE
202 | SOME file => 211 | SOME file =>
203 if ErrorMsg.anyErrors () then 212 if ErrorMsg.anyErrors () then
204 NONE 213 NONE
205 else 214 else
276 handle CoreEnv.UnboundNamed n => 285 handle CoreEnv.UnboundNamed n =>
277 print ("Unbound named " ^ Int.toString n ^ "\n") 286 print ("Unbound named " ^ Int.toString n ^ "\n")
278 287
279 fun testShake' job = 288 fun testShake' job =
280 (case shake' job of 289 (case shake' job of
290 NONE => print "Failed\n"
291 | SOME file =>
292 (Print.print (CorePrint.p_file CoreEnv.empty file);
293 print "\n"))
294 handle CoreEnv.UnboundNamed n =>
295 print ("Unbound named " ^ Int.toString n ^ "\n")
296
297 fun testTag job =
298 (case tag job of
281 NONE => print "Failed\n" 299 NONE => print "Failed\n"
282 | SOME file => 300 | SOME file =>
283 (Print.print (CorePrint.p_file CoreEnv.empty file); 301 (Print.print (CorePrint.p_file CoreEnv.empty file);
284 print "\n")) 302 print "\n"))
285 handle CoreEnv.UnboundNamed n => 303 handle CoreEnv.UnboundNamed n =>