From 246c504132afd654f7864864216c19259757dc78 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 1 Dec 2021 14:09:03 +0100
Subject: Simplify the adt_value type

---
 src/Values.ml | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'src/Values.ml')

diff --git a/src/Values.ml b/src/Values.ml
index cb8a1200..92f1491b 100644
--- a/src/Values.ml
+++ b/src/Values.ml
@@ -82,13 +82,7 @@ type value =
 [@@deriving show]
 
 and adt_value = {
-  def_id : TypeDefId.id;
-  (* TODO: remove *)
   variant_id : VariantId.id option;
-  regions : erased_region list;
-  (* TODO: remove *)
-  types : ety list;
-  (* TODO: remove *)
   field_values : typed_value list;
 }
 [@@deriving show]
-- 
cgit v1.2.3