# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1215967918 14400
# Node ID 0644d3c3bedf0fb4995c78aa1edce3668df48aad
# Parent  6c88b44efcfa1425b79061f4cf161ebd03e4973c
Print a message on Laconic compilation failure

diff -r 6c88b44efcfa -r 0644d3c3bedf src/compiler.sml
--- a/src/compiler.sml	Sun Jul 13 12:47:54 2008 -0400
+++ b/src/compiler.sml	Sun Jul 13 12:51:58 2008 -0400
@@ -350,7 +350,7 @@
 
 fun compile job =
     case cjrize job of
-        NONE => ()
+        NONE => print "Laconic compilation failed\n"
       | SOME file =>
         let
             val cname = "/tmp/lacweb.c"