diff options
| author | Brian Campbell | 2018-01-31 12:33:25 +0000 |
|---|---|---|
| committer | Brian Campbell | 2018-01-31 15:58:29 +0000 |
| commit | 95bb54655ceb1265b45ed8c0cd2978d760be7c18 (patch) | |
| tree | 4112594e613e87b325200b7d4888866417da4565 /src | |
| parent | 64646f5a7105b4530d2f3d04ebc7d570d18c26f4 (diff) | |
Fix mono continue away option
Diffstat (limited to 'src')
| -rw-r--r-- | src/monomorphise.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/monomorphise.ml b/src/monomorphise.ml index 4bc7803f..ca595278 100644 --- a/src/monomorphise.ml +++ b/src/monomorphise.ml @@ -933,7 +933,7 @@ let apply_pat_choices choices = e_case = rewrite_case } let split_defs all_errors splits defs = - let error_happened = ref false in + let no_errors_happened = ref true in let split_constructors (Defs defs) = let sc_type_union q (Tu_aux (tu,l) as tua) = match tu with @@ -1376,7 +1376,7 @@ let split_defs all_errors splits defs = Err_general (pat_l, ("Cannot split type " ^ string_of_typ typ ^ " for variable " ^ v ^ ": " ^ msg)) in if all_errors - then (error_happened := true; + then (no_errors_happened := false; print_error error; [P_aux (P_id var,(pat_l,annot)),[],[]]) else raise (Fatal_error error) @@ -1608,7 +1608,7 @@ let split_defs all_errors splits defs = Err_general (l, "Case split is too large (" ^ string_of_int size ^ " > limit " ^ string_of_int size_set_limit ^ ")") in if all_errors - then (error_happened := true; + then (no_errors_happened := false; print_error error; false) else raise (Fatal_error error) else true @@ -1762,7 +1762,7 @@ let split_defs all_errors splits defs = Defs (List.concat (List.map map_def defs)) in let defs'' = map_locs splits defs' in - !error_happened, defs'' + !no_errors_happened, defs'' |