diff options
| author | Alasdair Armstrong | 2018-12-26 20:42:54 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-12-26 20:42:54 +0000 |
| commit | 25a8a48142cc715c55f11fc80cf3dad6bec1b71d (patch) | |
| tree | a5bd2ab3fc8a9b6893fec5dbdf06ea42428be53b /src/state.ml | |
| parent | bd6c099d7b541c7850e98347c6bfce743ca11434 (diff) | |
More cleanup
Remove unused name schemes and DEF_kind
Diffstat (limited to 'src/state.ml')
| -rw-r--r-- | src/state.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/state.ml b/src/state.ml index c9a47b06..63a07c0e 100644 --- a/src/state.ml +++ b/src/state.ml @@ -136,10 +136,10 @@ let generate_initial_regstate defs = List.fold_left2 typ_subst_quant_item typ (quant_items tq) args in let add_typ_init_val vals = function - | TD_enum (id, _, id1 :: _, _) -> + | TD_enum (id, id1 :: _, _) -> (* Choose the first value of an enumeration type as default *) Bindings.add id (fun _ -> string_of_id id1) vals - | TD_variant (id, _, tq, (Tu_aux (Tu_ty_id (typ1, id1), _)) :: _, _) -> + | TD_variant (id, tq, (Tu_aux (Tu_ty_id (typ1, id1), _)) :: _, _) -> (* Choose the first variant of a union type as default *) let init_val args = let typ1 = typ_subst_typquant tq args typ1 in @@ -149,7 +149,7 @@ let generate_initial_regstate defs = | TD_abbrev (id, tq, A_aux (A_typ typ, _)) -> let init_val args = lookup_init_val vals (typ_subst_typquant tq args typ) in Bindings.add id init_val vals - | TD_record (id, _, tq, fields, _) -> + | TD_record (id, tq, fields, _) -> let init_val args = let init_field (typ, id) = let typ = typ_subst_typquant tq args typ in |