Mercurial > urweb

comparison src/compiler.sml @ 163:80192edca30d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Datatypes through corify
author Adam Chlipala <adamc@hcoop.net>
date Tue, 29 Jul 2008 13:16:21 -0400
parents d6d78055f001
children c0ea24dcb86f
comparison
equal deleted inserted replaced
162:06a98129b23f 163:80192edca30d
340 print "\n")) 340 print "\n"))
341 handle CoreEnv.UnboundNamed n => 341 handle CoreEnv.UnboundNamed n =>
342 print ("Unbound named " ^ Int.toString n ^ "\n") 342 print ("Unbound named " ^ Int.toString n ^ "\n")
343 343
344 fun testReduce job = 344 fun testReduce job =
345 (case tag job of 345 (case reduce job of
346 NONE => print "Failed\n" 346 NONE => print "Failed\n"
347 | SOME file => 347 | SOME file =>
348 (Print.print (CorePrint.p_file CoreEnv.empty file); 348 (Print.print (CorePrint.p_file CoreEnv.empty file);
349 print "\n")) 349 print "\n"))
350 handle CoreEnv.UnboundNamed n => 350 handle CoreEnv.UnboundNamed n =>