diff src/marshalcheck.sml @ 1521:001638622c4f

A few error message improvements
author Adam Chlipala <adam@chlipala.net>
date Tue, 02 Aug 2011 13:48:26 -0400
parents 44a12a321150
children
line wrap: on
line diff
--- 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