summaryrefslogtreecommitdiff
path: root/src/elab.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-06-29 10:39:43 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-06-29 10:39:43 -0400
commitd8ceac1d02caeffbe44865dfd2573863adc535ba (patch)
tree4d65fe41ebe08884d1e701a3caa3cd93b0698b18 /src/elab.sml
parentabd57cd85a78e243185e7c6f528b3f21344319ea (diff)
Broaden unification context
Diffstat (limited to 'src/elab.sml')
-rw-r--r--src/elab.sml4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/elab.sml b/src/elab.sml
index 7c3ec6b1..1b0e3ea1 100644
--- a/src/elab.sml
+++ b/src/elab.sml
@@ -36,7 +36,7 @@ datatype kind' =
| 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 @@ datatype con' =
| 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