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/specialize.ml | |
| parent | bd6c099d7b541c7850e98347c6bfce743ca11434 (diff) | |
More cleanup
Remove unused name schemes and DEF_kind
Diffstat (limited to 'src/specialize.ml')
| -rw-r--r-- | src/specialize.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/specialize.ml b/src/specialize.ml index 1881de5b..b619edde 100644 --- a/src/specialize.ml +++ b/src/specialize.ml @@ -171,7 +171,7 @@ let id_of_instantiation id instantiation = let rec variant_generic_typ id (Defs defs) = match defs with - | DEF_type (TD_aux (TD_variant (id', _, typq, _, _), _)) :: _ when Id.compare id id' = 0 -> + | DEF_type (TD_aux (TD_variant (id', typq, _, _), _)) :: _ when Id.compare id id' = 0 -> mk_typ (Typ_app (id', List.map (fun kopt -> mk_typ_arg (A_typ (mk_typ (Typ_var (kopt_kid kopt))))) (quant_kopts typq))) | _ :: defs -> variant_generic_typ id (Defs defs) | [] -> failwith ("No variant with id " ^ string_of_id id) |