summaryrefslogtreecommitdiff
path: root/src/reporting.ml
diff options
context:
space:
mode:
authorAlasdair2019-05-13 23:29:15 +0100
committerAlasdair2019-05-13 23:29:15 +0100
commit3677cfc13e19efe650488a3a25917324bd6ccef7 (patch)
tree6f40da5b3c7280652ab72bdd861a5cd7dd4b5b21 /src/reporting.ml
parentdf7101474911964e7d8dbf5b6fd3de3ed66b7fc8 (diff)
Parse dereferences in orderinary expressions
Diffstat (limited to 'src/reporting.ml')
-rw-r--r--src/reporting.ml5
1 files changed, 3 insertions, 2 deletions
diff --git a/src/reporting.ml b/src/reporting.ml
index c85f20ff..9387ee6b 100644
--- a/src/reporting.ml
+++ b/src/reporting.ml
@@ -133,7 +133,7 @@ type error =
| Err_unreachable of Parse_ast.l * (string * int * int * int) * string
| Err_todo of Parse_ast.l * string
| Err_syntax of Lexing.position * string
- | Err_syntax_locn of Parse_ast.l * string
+ | Err_syntax_loc of Parse_ast.l * string
| Err_lex of Lexing.position * string
| Err_type of Parse_ast.l * string
@@ -145,7 +145,7 @@ let dest_err = function
(Printf.sprintf "Internal error: Unreachable code (at \"%s\" line %d)" file line, Loc l, m ^ issues)
| Err_todo (l, m) -> ("Todo" ^ m, Loc l, "")
| Err_syntax (p, m) -> ("Syntax error", Pos p, m)
- | Err_syntax_locn (l, m) -> ("Syntax error", Loc l, m)
+ | Err_syntax_loc (l, m) -> ("Syntax error", Loc l, m)
| Err_lex (p, s) -> ("Lexical error", Pos p, s)
| Err_type (l, m) -> ("Type error", Loc l, m)
@@ -156,6 +156,7 @@ let err_todo l m = Fatal_error (Err_todo (l, m))
let err_unreachable l ocaml_pos m = Fatal_error (Err_unreachable (l, ocaml_pos, m))
let err_general l m = Fatal_error (Err_general (l, m))
let err_typ l m = Fatal_error (Err_type (l,m))
+let err_syntax_loc l m = Fatal_error (Err_syntax_loc (l, m))
let unreachable l pos msg =
raise (err_unreachable l pos msg)