changeset 114:0644d3c3bedf

Print a message on Laconic compilation failure
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 12:51:58 -0400 (2008-07-13)
parents 6c88b44efcfa
children ff13d390ec60
files src/compiler.sml
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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"