From 46c36cb682c91bbfad52b35c68d8332757c2bbce Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 13 Jul 2008 12:51:58 -0400
Subject: Print a message on Laconic compilation failure

---
 src/compiler.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/compiler.sml')

diff --git a/src/compiler.sml b/src/compiler.sml
index 156c8bb9..7ef8b646 100644
--- a/src/compiler.sml
+++ b/src/compiler.sml
@@ -350,7 +350,7 @@ fun testCjrize job =
 
 fun compile job =
     case cjrize job of
-        NONE => ()
+        NONE => print "Laconic compilation failed\n"
       | SOME file =>
         let
             val cname = "/tmp/lacweb.c"
-- 
cgit v1.2.3