# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1312307306 14400
# Node ID 001638622c4f2378cc15d524fc5b3fcec5553b32
# Parent  b5517f47b1f19c10d17939365c732805faa8f138
A few error message improvements

diff -r b5517f47b1f1 -r 001638622c4f src/elab_err.sml
--- a/src/elab_err.sml	Tue Aug 02 13:33:38 2011 -0400
+++ b/src/elab_err.sml	Tue Aug 02 13:48:26 2011 -0400
@@ -267,10 +267,10 @@
 fun declError env err =
     case err of
         KunifsRemain ds =>
-        (ErrorMsg.errorAt (lspan ds) "Some kind unification variables are undetermined in declaration";
+        (ErrorMsg.errorAt (lspan ds) "Some kind unification variables are undetermined in declaration\n(look for them as \"<UNIF:...>\")";
          eprefaces' [("Decl", p_list_sep PD.newline (p_decl env) ds)])
       | CunifsRemain ds =>
-        (ErrorMsg.errorAt (lspan ds) "Some constructor unification variables are undetermined in declaration";
+        (ErrorMsg.errorAt (lspan ds) "Some constructor unification variables are undetermined in declaration\n(look for them as \"<UNIF:...>\")";
          eprefaces' [("Decl", p_list_sep PD.newline (p_decl env) ds)])
       | Nonpositive d =>
         (ErrorMsg.errorAt (#2 d) "Non-strictly-positive datatype declaration (could allow non-termination)";
diff -r b5517f47b1f1 -r 001638622c4f src/marshalcheck.sml
--- a/src/marshalcheck.sml	Tue Aug 02 13:33:38 2011 -0400
+++ b/src/marshalcheck.sml	Tue Aug 02 13:48:26 2011 -0400
@@ -108,7 +108,7 @@
                                            ()
                                        else
                                            E.error ("Input to exported function '"
-                                                    ^ tag ^ "' involves one or more disallowed types: "
+                                                    ^ tag ^ "' involves one or more types that are disallowed for page handler inputs: "
                                                     ^ PS.toString s);
                                        (cmap, emap)
                                    end)
@@ -120,7 +120,7 @@
                                   if PS.isEmpty s then
                                       ()
                                   else
-                                      E.error ("Cookie '" ^ tag ^ "' includes one or more disallowed types: "
+                                      E.error ("Cookie '" ^ tag ^ "' includes one or more types that are disallowed for cookies: "
                                                ^ PS.toString s);
                                   (cmap, emap)
                               end
diff -r b5517f47b1f1 -r 001638622c4f tests/disallowed.ur
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/disallowed.ur	Tue Aug 02 13:48:26 2011 -0400
@@ -0,0 +1,3 @@
+cookie bad : url
+
+fun worse (x : url) : transaction page = return <xml/>
diff -r b5517f47b1f1 -r 001638622c4f tests/undet.ur
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/undet.ur	Tue Aug 02 13:48:26 2011 -0400
@@ -0,0 +1,1 @@
+fun main () : transaction _ = return <xml/>