diff options
| author | Alasdair Armstrong | 2018-02-07 18:18:06 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-02-07 18:54:30 +0000 |
| commit | 66eb6adffbb392cf78a78ff41eefd0fa52e7983a (patch) | |
| tree | e7118d752ae19dd8648bc2c4cd1d46773dc19cff /src/reporting_basic.ml | |
| parent | b7c7675e78738f356716ba27d212225e60d5a856 (diff) | |
Have exceptions working in C backend
Diffstat (limited to 'src/reporting_basic.ml')
| -rw-r--r-- | src/reporting_basic.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/reporting_basic.ml b/src/reporting_basic.ml index af1f85d0..fce7137d 100644 --- a/src/reporting_basic.ml +++ b/src/reporting_basic.ml @@ -259,8 +259,7 @@ let print_err_internal fatal verb_loc p_l m1 m2 = let print_err fatal verb_loc l m1 m2 = print_err_internal fatal verb_loc (Loc l) m1 m2 - -type error = +type error = | Err_general of Parse_ast.l * string | Err_unreachable of Parse_ast.l * string | Err_todo of Parse_ast.l * string |