summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAdam Chlipala <adam@chlipala.net>2020-01-12 10:43:23 -0500
committerGitHub <noreply@github.com>2020-01-12 10:43:23 -0500
commit11bf1e86020f99893cd987eb1a15952e517248cf (patch)
tree1c4629c2405f20bc2a896689b02f7b39e4436c65
parent0bb63dca9409308491070d94a0436ad73f81b9e0 (diff)
parentaf30a1fcc8e5050f8c0ff84adc6cda53ca69d3fd (diff)
Merge pull request #185 from docelic/better-error-reports
Improve error messages
-rw-r--r--src/elab_err.sml18
1 files changed, 9 insertions, 9 deletions
diff --git a/src/elab_err.sml b/src/elab_err.sml
index bbe1c160..834964ae 100644
--- a/src/elab_err.sml
+++ b/src/elab_err.sml
@@ -45,7 +45,7 @@ datatype kind_error =
fun kindError env err =
case err of
UnboundKind (loc, s) =>
- ErrorMsg.errorAt loc ("Unbound kind variable " ^ s)
+ ErrorMsg.errorAt loc ("Unbound kind variable: " ^ s)
| KDisallowedWildcard loc =>
ErrorMsg.errorAt loc "Wildcard not allowed in signature"
@@ -84,11 +84,11 @@ datatype con_error =
fun conError env err =
case err of
UnboundCon (loc, s) =>
- ErrorMsg.errorAt loc ("Unbound constructor variable " ^ s)
+ ErrorMsg.errorAt loc ("Unbound constructor variable: " ^ s)
| UnboundDatatype (loc, s) =>
- ErrorMsg.errorAt loc ("Unbound datatype " ^ s)
+ ErrorMsg.errorAt loc ("Unbound datatype: " ^ s)
| UnboundStrInCon (loc, s) =>
- ErrorMsg.errorAt loc ("Unbound structure " ^ s)
+ ErrorMsg.errorAt loc ("Unbound structure: " ^ s)
| WrongKind (c, k1, k2, env', kerr) =>
(ErrorMsg.errorAt (#2 c) "Wrong kind";
eprefaces' [("Constructor", p_con env c),
@@ -96,7 +96,7 @@ fun conError env err =
("Need kind", p_kind env k2)];
kunifyError env' kerr)
| DuplicateField (loc, s) =>
- ErrorMsg.errorAt loc ("Duplicate record field " ^ s)
+ ErrorMsg.errorAt loc ("Duplicate record field: " ^ s)
| ProjBounds (c, n) =>
(ErrorMsg.errorAt (#2 c) "Out of bounds constructor projection";
eprefaces' [("Constructor", p_con env c),
@@ -201,9 +201,9 @@ val p_pat = P.p_pat
fun expError env err =
case err of
UnboundExp (loc, s) =>
- ErrorMsg.errorAt loc ("Unbound expression variable " ^ s)
+ ErrorMsg.errorAt loc ("Unbound expression variable: " ^ s)
| UnboundStrInExp (loc, s) =>
- ErrorMsg.errorAt loc ("Unbound structure " ^ s)
+ ErrorMsg.errorAt loc ("Unbound structure: " ^ s)
| Unify (e, c1, c2, env', uerr) =>
(ErrorMsg.errorAt (#2 e) "Unification failure";
eprefaces' [("Expression", p_exp env e),
@@ -222,7 +222,7 @@ fun expError env err =
eprefaces' [("Have", p_con env c1),
("Need", p_con env c2)])
| DuplicatePatternVariable (loc, s) =>
- ErrorMsg.errorAt loc ("Duplicate pattern variable " ^ s)
+ ErrorMsg.errorAt loc ("Duplicate pattern variable: " ^ s)
| PatUnify (p, c1, c2, env', uerr) =>
(ErrorMsg.errorAt (#2 p) "Unification failure for pattern";
eprefaces' [("Pattern", p_pat env p),
@@ -356,7 +356,7 @@ val p_sgn = P.p_sgn
fun sgnError env err =
case err of
UnboundSgn (loc, s) =>
- ErrorMsg.errorAt loc ("Unbound signature variable " ^ s)
+ ErrorMsg.errorAt loc ("Unbound signature variable: " ^ s)
| UnmatchedSgi (loc, sgi) =>
(ErrorMsg.errorAt loc "Unmatched signature item";
eprefaces' [("Item", p_sgn_item env sgi)])