diff options
| author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2013-12-09 17:27:11 +0100 |
|---|---|---|
| committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2013-12-09 17:27:11 +0100 |
| commit | d260f964d65ef688b2721cad089c9ca4abe84367 (patch) | |
| tree | c7d79b1f316968d4e901a591ff009569cd027335 | |
| parent | 185a8ea39b1dbd795aa54b7b9c82e393a9185765 (diff) | |
| download | LPC-Projet-d260f964d65ef688b2721cad089c9ca4abe84367.tar.gz LPC-Projet-d260f964d65ef688b2721cad089c9ca4abe84367.zip | |
Cleanup
| -rw-r--r-- | src/typing.ml | 8 |
1 files changed, 4 insertions, 4 deletions
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 *) |