From 64783736b3c002c095640c0bf16b48994a44869c Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 15 Oct 2009 14:27:38 -0400 Subject: Better subSgn error locations --- src/elab_err.sig | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) (limited to 'src/elab_err.sig') diff --git a/src/elab_err.sig b/src/elab_err.sig index 10cda7d3..18596d04 100644 --- a/src/elab_err.sig +++ b/src/elab_err.sig @@ -88,11 +88,12 @@ signature ELAB_ERR = sig datatype sgn_error = UnboundSgn of ErrorMsg.span * string - | UnmatchedSgi of Elab.sgn_item - | SgiWrongKind of Elab.sgn_item * Elab.kind * Elab.sgn_item * Elab.kind * kunify_error - | SgiWrongCon of Elab.sgn_item * Elab.con * Elab.sgn_item * Elab.con * cunify_error - | SgiMismatchedDatatypes of Elab.sgn_item * Elab.sgn_item * (Elab.con * Elab.con * cunify_error) option - | SgnWrongForm of Elab.sgn * Elab.sgn + | UnmatchedSgi of ErrorMsg.span * Elab.sgn_item + | SgiWrongKind of ErrorMsg.span * Elab.sgn_item * Elab.kind * Elab.sgn_item * Elab.kind * kunify_error + | SgiWrongCon of ErrorMsg.span * Elab.sgn_item * Elab.con * Elab.sgn_item * Elab.con * cunify_error + | SgiMismatchedDatatypes of ErrorMsg.span * Elab.sgn_item * Elab.sgn_item + * (Elab.con * Elab.con * cunify_error) option + | SgnWrongForm of ErrorMsg.span * Elab.sgn * Elab.sgn | UnWhereable of Elab.sgn * string | WhereWrongKind of Elab.kind * Elab.kind * kunify_error | NotIncludable of Elab.sgn -- cgit v1.2.3