From d260f964d65ef688b2721cad089c9ca4abe84367 Mon Sep 17 00:00:00 2001 From: Alex AUVOLAT Date: Mon, 9 Dec 2013 17:27:11 +0100 Subject: Cleanup --- src/typing.ml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'src') diff --git a/src/typing.ml b/src/typing.ml index 0c47f72..d39bf3e 100644 --- a/src/typing.ml +++ b/src/typing.ml @@ -10,10 +10,10 @@ let err_add_loc loc f = with | Error(k) -> raise (LocError(loc, k)) | LocError(_, _) as e -> raise e - | Assert_failure (k, a, b) -> raise (LocError (loc, "Assertion failure : "^k^" at "^(string_of_int a)^":"^(string_of_int b))) - | Not_found -> raise (LocError (loc, "Not found")) - | Invalid_argument(k) -> raise (LocError (loc, "Invalid argument "^k)) - | _ -> raise (LocError (loc, "Unexpected error")) + | Assert_failure (k, a, b) -> raise (LocError (loc, "(unexpected) Assertion failure: "^k^" at "^(string_of_int a)^":"^(string_of_int b))) + | Not_found -> raise (LocError (loc, "(unexpected) Not found")) + | Invalid_argument(k) -> raise (LocError (loc, "(unexpected) Invalid argument: "^k)) + | _ -> raise (LocError (loc, "(unexpected) Other error") (* AST typés *) -- cgit v1.2.3