diff options
| author | Son Ho | 2021-12-03 14:43:29 +0100 |
|---|---|---|
| committer | Son Ho | 2021-12-03 14:43:29 +0100 |
| commit | 1eb1121490f4331c36298f048c76f9f720206879 (patch) | |
| tree | b7675e6f76926430040368b3868e1afd7aeeae61 /src/Values.ml | |
| parent | 975b8a067bf6ff69256896f0b2cf7085c9ad142a (diff) | |
Make minor modifications
Diffstat (limited to 'src/Values.ml')
| -rw-r--r-- | src/Values.ml | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/src/Values.ml b/src/Values.ml index f95cbc07..29a305aa 100644 --- a/src/Values.ml +++ b/src/Values.ml @@ -83,13 +83,12 @@ type ('r, 'sv, 'bc, 'lc) g_value = | Borrow of 'bc (** A borrowed value *) | Loan of 'lc (** A loaned value *) | Symbolic of 'sv (** Unknown value *) -[@@deriving show] and ('r, 'sv, 'bc, 'lc) g_adt_value = { variant_id : VariantId.id option; field_values : ('r, 'sv, 'bc, 'lc) g_typed_value list; } -[@@deriving show] + (** "Generic" ADT value (not "GADT" value) *) and ('r, 'sv, 'bc, 'lc) g_typed_value = { @@ -100,12 +99,10 @@ and ('r, 'sv, 'bc, 'lc) g_typed_value = { type value = (erased_region, symbolic_proj_comp, borrow_content, loan_content) g_value -[@@deriving show] (** "Regular" value *) and adt_value = (erased_region, symbolic_proj_comp, borrow_content, loan_content) g_adt_value -[@@deriving show] and typed_value = ( erased_region, @@ -130,7 +127,6 @@ and borrow_content = is well typed) of this value and replace the inactivated borrow with a mutable borrow. *) -[@@deriving show] and loan_content = | SharedLoan of BorrowId.set_t * typed_value |