# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1347798714 14400
# Node ID e8149592990e2ed82f960bbcf7e1908a9305f820
# Parent  3c56aa6a0f55e74c71ebfefde7f841d969bd8ce4
Better error message about signals remaining in server-side code

diff -r 3c56aa6a0f55 -r e8149592990e src/cjrize.sml
--- a/src/cjrize.sml	Fri Sep 14 07:35:48 2012 -0400
+++ b/src/cjrize.sml	Sun Sep 16 08:31:54 2012 -0400
@@ -162,7 +162,9 @@
                     ((L'.TList (t', si), loc), sm)
                 end
               | L.TSource => ((L'.TFfi ("Basis", "source"), loc), sm)
-              | L.TSignal _ => raise Fail "Cjrize: TSignal remains"
+              | L.TSignal _ => (ErrorMsg.errorAt loc "TSignal remains";
+                                Print.epreface ("Full type", MonoPrint.p_typ MonoEnv.empty (#1 x));
+                                ((L'.TFfi ("Basis", "bogus"), loc), sm))
     in
         cify IM.empty x
     end