changeset 1821:e8149592990e

Better error message about signals remaining in server-side code
author Adam Chlipala <adam@chlipala.net>
date Sun, 16 Sep 2012 08:31:54 -0400
parents 3c56aa6a0f55
children 66a58d8501e0
files src/cjrize.sml
diffstat 1 files changed, 3 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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