comparison src/compiler.sml @ 114:0644d3c3bedf

Print a message on Laconic compilation failure
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 12:51:58 -0400
parents 6c88b44efcfa
children 5df655503288
comparison
equal deleted inserted replaced
113:6c88b44efcfa 114:0644d3c3bedf
348 handle CjrEnv.UnboundNamed n => 348 handle CjrEnv.UnboundNamed n =>
349 print ("Unbound named " ^ Int.toString n ^ "\n") 349 print ("Unbound named " ^ Int.toString n ^ "\n")
350 350
351 fun compile job = 351 fun compile job =
352 case cjrize job of 352 case cjrize job of
353 NONE => () 353 NONE => print "Laconic compilation failed\n"
354 | SOME file => 354 | SOME file =>
355 let 355 let
356 val cname = "/tmp/lacweb.c" 356 val cname = "/tmp/lacweb.c"
357 val oname = "/tmp/lacweb.o" 357 val oname = "/tmp/lacweb.o"
358 val ename = "/tmp/webapp" 358 val ename = "/tmp/webapp"