diff options
author | Son Ho | 2021-12-01 14:09:03 +0100 |
---|---|---|
committer | Son Ho | 2021-12-01 14:09:29 +0100 |
commit | 246c504132afd654f7864864216c19259757dc78 (patch) | |
tree | 1fbcfabc36cd2627f3c942109ea2f00695a55861 /src/Values.ml | |
parent | 81ad3b074728ac70ed61ecf723d45568181df42e (diff) |
Simplify the adt_value type
Diffstat (limited to 'src/Values.ml')
-rw-r--r-- | src/Values.ml | 6 |
1 files changed, 0 insertions, 6 deletions
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] |