Mercurial > urweb

diff src/elab_err.sml @ 706:1fb318c17546

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Enhance table sig item support and get demo compiling again
author Adam Chlipala <adamc@hcoop.net>
date Tue, 07 Apr 2009 15:04:07 -0400
parents 12b73f3c108e
children 7292bcb7c02d
line wrap: on
line diff
--- a/src/elab_err.sml	Tue Apr 07 14:11:32 2009 -0400
+++ b/src/elab_err.sml	Tue Apr 07 15:04:07 2009 -0400
@@ -328,7 +328,7 @@
        | NotFunctor of sgn
        | FunctorRebind of ErrorMsg.span
        | UnOpenable of sgn
-       | NotType of kind * (kind * kind * kunify_error)
+       | NotType of ErrorMsg.span * kind * (kind * kind * kunify_error)
        | DuplicateConstructor of string * ErrorMsg.span
        | NotDatatype of ErrorMsg.span
 
@@ -344,8 +344,8 @@
       | UnOpenable sgn =>
         (ErrorMsg.errorAt (#2 sgn) "Un-openable structure";
          eprefaces' [("Signature", p_sgn env sgn)])
-      | NotType (k, (k1, k2, ue)) =>
-        (ErrorMsg.errorAt (#2 k) "'val' type kind is not 'Type'";
+      | NotType (loc, k, (k1, k2, ue)) =>
+        (ErrorMsg.errorAt loc "'val' type kind is not 'Type'";
          eprefaces' [("Kind", p_kind env k),
                      ("Subkind 1", p_kind env k1),
                      ("Subkind 2", p_kind env k2)];