comparison 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
comparison
equal deleted inserted replaced
1520:b5517f47b1f1 1521:001638622c4f
106 in 106 in
107 if PS.isEmpty s then 107 if PS.isEmpty s then
108 () 108 ()
109 else 109 else
110 E.error ("Input to exported function '" 110 E.error ("Input to exported function '"
111 ^ tag ^ "' involves one or more disallowed types: " 111 ^ tag ^ "' involves one or more types that are disallowed for page handler inputs: "
112 ^ PS.toString s); 112 ^ PS.toString s);
113 (cmap, emap) 113 (cmap, emap)
114 end) 114 end)
115 115
116 | DCookie (_, _, t, tag) => 116 | DCookie (_, _, t, tag) =>
118 val s = sins cmap t 118 val s = sins cmap t
119 in 119 in
120 if PS.isEmpty s then 120 if PS.isEmpty s then
121 () 121 ()
122 else 122 else
123 E.error ("Cookie '" ^ tag ^ "' includes one or more disallowed types: " 123 E.error ("Cookie '" ^ tag ^ "' includes one or more types that are disallowed for cookies: "
124 ^ PS.toString s); 124 ^ PS.toString s);
125 (cmap, emap) 125 (cmap, emap)
126 end 126 end
127 127
128 | _ => (cmap, emap)) 128 | _ => (cmap, emap))