diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-08-02 13:48:26 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-08-02 13:48:26 -0400 |
| commit | 236387604322b81260110f93be57762eac3ef20b (patch) | |
| tree | 7f1afca8ccf70a28b34907d8f7b0744c6c763081 /src/marshalcheck.sml | |
| parent | f64e872237bd646f0ab9a154a84c2af2da6083a3 (diff) | |
A few error message improvements
Diffstat (limited to 'src/marshalcheck.sml')
| -rw-r--r-- | src/marshalcheck.sml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/marshalcheck.sml b/src/marshalcheck.sml index eadbfa49..8d7edd15 100644 --- a/src/marshalcheck.sml +++ b/src/marshalcheck.sml @@ -108,7 +108,7 @@ fun check file = () 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 @@ fun check file = 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 |