diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-09-14 15:10:04 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-09-14 15:10:04 -0400 |
commit | 8cc7053b00237cd468290cb5f2042898e7a80329 (patch) | |
tree | 0138b56c392844cd8033fa03e81715b8b1ca4f8a /src/elab_err.sml | |
parent | c81c24b4feb3fae3c13861f1bcaafab697a6bb7e (diff) |
Crud supports INSERT
Diffstat (limited to 'src/elab_err.sml')
-rw-r--r-- | src/elab_err.sml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/elab_err.sml b/src/elab_err.sml index 34e26cd1..8131633c 100644 --- a/src/elab_err.sml +++ b/src/elab_err.sml @@ -144,7 +144,7 @@ datatype exp_error = UnboundExp of ErrorMsg.span * string | UnboundStrInExp of ErrorMsg.span * string | Unify of exp * con * con * cunify_error - | Unif of string * con + | Unif of string * ErrorMsg.span * con | WrongForm of string * exp * con | IncompatibleCons of con * con | DuplicatePatternVariable of ErrorMsg.span * string @@ -173,8 +173,8 @@ fun expError env err = ("Have con", p_con env c1), ("Need con", p_con env c2)]; cunifyError env uerr) - | Unif (action, c) => - (ErrorMsg.errorAt (#2 c) ("Unification variable blocks " ^ action); + | Unif (action, loc, c) => + (ErrorMsg.errorAt loc ("Unification variable blocks " ^ action); eprefaces' [("Con", p_con env c)]) | WrongForm (variety, e, t) => (ErrorMsg.errorAt (#2 e) ("Expression is not a " ^ variety); |