Mercurial > urweb

diff src/elab_err.sml @ 413:6a0e54400805

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Sum prose
author Adam Chlipala <adamc@hcoop.net>
date Tue, 21 Oct 2008 19:56:20 -0400
parents 075b36dbb1a4
children 588b9d16b00a
line wrap: on
line diff
--- a/src/elab_err.sml	Tue Oct 21 19:31:11 2008 -0400
+++ b/src/elab_err.sml	Tue Oct 21 19:56:20 2008 -0400
@@ -109,7 +109,7 @@
        | COccursCheckFailed of con * con
        | CIncompatible of con * con
        | CExplicitness of con * con
-       | CKindof of kind * con
+       | CKindof of kind * con * string
        | CRecordFailure of con * con
 
 fun cunifyError env err =
@@ -131,8 +131,8 @@
         eprefaces "Differing constructor function explicitness"
                   [("Con 1", p_con env c1),
                    ("Con 2", p_con env c2)]
-      | CKindof (k, c) =>
-        eprefaces "Unexpected kind for kindof calculation"
+      | CKindof (k, c, expected) =>
+        eprefaces ("Unexpected kind for kindof calculation (expecting " ^ expected ^ ")")
                   [("Kind", p_kind k),
                    ("Con", p_con env c)]
       | CRecordFailure (c1, c2) =>