From 66eb6adffbb392cf78a78ff41eefd0fa52e7983a Mon Sep 17 00:00:00 2001 From: Alasdair Armstrong Date: Wed, 7 Feb 2018 18:18:06 +0000 Subject: Have exceptions working in C backend --- src/reporting_basic.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'src/reporting_basic.ml') 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 -- cgit v1.2.3