changeset 1521:001638622c4f

A few error message improvements
author Adam Chlipala <adam@chlipala.net>
date Tue, 02 Aug 2011 13:48:26 -0400
parents b5517f47b1f1
children 4d0b80dd4c37
files src/elab_err.sml src/marshalcheck.sml tests/disallowed.ur tests/undet.ur
diffstat 4 files changed, 8 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- 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)";
--- 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
--- /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/>
--- /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/>