Mercurial > urweb

diff 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
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)";