diff options
Diffstat (limited to '')
| -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] |