Mercurial > urweb

diff src/elab.sml @ 76:522f4bd3955e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Broaden unification context
author Adam Chlipala <adamc@hcoop.net>
date Sun, 29 Jun 2008 10:39:43 -0400
parents 6431b315a1e3
children b4f2a258e52c
line wrap: on
line diff
--- a/src/elab.sml	Thu Jun 26 12:35:26 2008 -0400
+++ b/src/elab.sml	Sun Jun 29 10:39:43 2008 -0400
@@ -36,7 +36,7 @@
        | KRecord of kind
 
        | KError
-       | KUnif of string * kind option ref
+       | KUnif of ErrorMsg.span * string * kind option ref
 
 withtype kind = kind' located
 
@@ -62,7 +62,7 @@
        | CFold of kind * kind
 
        | CError
-       | CUnif of kind * string * con option ref
+       | CUnif of ErrorMsg.span * kind * string * con option ref
 
 withtype con = con' located