Mercurial > urweb

comparison src/elab_err.sml @ 1521:001638622c4f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
A few error message improvements
author Adam Chlipala <adam@chlipala.net>
date Tue, 02 Aug 2011 13:48:26 -0400
parents e525ad571e15
children dfb38a333816
comparison
equal deleted inserted replaced
1520:b5517f47b1f1 1521:001638622c4f
265 val p_decl = P.p_decl 265 val p_decl = P.p_decl
266 266
267 fun declError env err = 267 fun declError env err =
268 case err of 268 case err of
269 KunifsRemain ds => 269 KunifsRemain ds =>
270 (ErrorMsg.errorAt (lspan ds) "Some kind unification variables are undetermined in declaration"; 270 (ErrorMsg.errorAt (lspan ds) "Some kind unification variables are undetermined in declaration\n(look for them as \"<UNIF:...>\")";
271 eprefaces' [("Decl", p_list_sep PD.newline (p_decl env) ds)]) 271 eprefaces' [("Decl", p_list_sep PD.newline (p_decl env) ds)])
272 | CunifsRemain ds => 272 | CunifsRemain ds =>
273 (ErrorMsg.errorAt (lspan ds) "Some constructor unification variables are undetermined in declaration"; 273 (ErrorMsg.errorAt (lspan ds) "Some constructor unification variables are undetermined in declaration\n(look for them as \"<UNIF:...>\")";
274 eprefaces' [("Decl", p_list_sep PD.newline (p_decl env) ds)]) 274 eprefaces' [("Decl", p_list_sep PD.newline (p_decl env) ds)])
275 | Nonpositive d => 275 | Nonpositive d =>
276 (ErrorMsg.errorAt (#2 d) "Non-strictly-positive datatype declaration (could allow non-termination)"; 276 (ErrorMsg.errorAt (#2 d) "Non-strictly-positive datatype declaration (could allow non-termination)";
277 eprefaces' [("Decl", p_decl env d)]) 277 eprefaces' [("Decl", p_decl env d)])
278 278