diff options
| author | Alasdair Armstrong | 2018-10-31 15:43:56 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-10-31 15:43:56 +0000 |
| commit | 001e28b487c8a4cb2a25519a3acc8ac8c1aaabf5 (patch) | |
| tree | c50d5a7bb026e875db96af53fd44d58387d7a7c6 /src/state.ml | |
| parent | 5298e209f0ae12e51f3050888e18ad9be09543e4 (diff) | |
Rename Reporting_basic to Reporting
There is no Reporting_complex, so it's not clear what the basic is
intended to signify anyway.
Add a GitHub issue link to any err_unreachable errors (as they are all
bugs)
Diffstat (limited to 'src/state.ml')
| -rw-r--r-- | src/state.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/state.ml b/src/state.ml index 70e53a52..31f5c7eb 100644 --- a/src/state.ml +++ b/src/state.ml @@ -187,12 +187,12 @@ let rec regval_constr_id mwords (Typ_aux (t, l) as typ) = match t with | Typ_arg_order (Ord_aux (Ord_inc, _)) -> "inc" | Typ_arg_order (Ord_aux (Ord_dec, _)) -> "dec" | _ -> - raise (Reporting_basic.err_typ l "Unsupported register type") + raise (Reporting.err_typ l "Unsupported register type") in let builtins = IdSet.of_list (List.map mk_id ["vector"; "list"; "option"]) in if IdSet.mem id builtins && not (mwords && is_bitvector_typ typ) then id else append_id id (String.concat "_" ("" :: List.map name_arg args)) - | _ -> raise (Reporting_basic.err_typ l "Unsupported register type") + | _ -> raise (Reporting.err_typ l "Unsupported register type") let register_base_types mwords typs = let rec add_base_typs typs (Typ_aux (t, _) as typ) = |