diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-10-15 14:27:38 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-10-15 14:27:38 -0400 |
commit | e177d0dd0db2639bd056e81296f2f0f5c930ad5f (patch) | |
tree | 57e7694ac353640b75428a5601da1a33ed7b3cca /src/elab_err.sig | |
parent | 39310f94944779f726fdf389373dafb1c1e32a20 (diff) |
Better subSgn error locations
Diffstat (limited to 'src/elab_err.sig')
-rw-r--r-- | src/elab_err.sig | 11 |
1 files changed, 6 insertions, 5 deletions
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 |