diff options
author | Son Ho | 2022-05-15 16:49:24 +0200 |
---|---|---|
committer | Son Ho | 2022-05-15 16:49:24 +0200 |
commit | dbd5af0c6c56ad95eb3654c588fa227737c645ad (patch) | |
tree | 9adc1d08a88241af7b9d842d694d4485ddc70123 /src/Expressions.ml | |
parent | 3cd74ec699e8c7eb2089b57c0a6768717c65d285 (diff) |
Add AggregatedOption
Diffstat (limited to 'src/Expressions.ml')
-rw-r--r-- | src/Expressions.ml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/Expressions.ml b/src/Expressions.ml index a118ca67..61a2f95c 100644 --- a/src/Expressions.ml +++ b/src/Expressions.ml @@ -16,11 +16,8 @@ type projection_elem = [@@deriving show] type projection = projection_elem list [@@deriving show] - type place = { var_id : VarId.id; projection : projection } [@@deriving show] - type borrow_kind = Shared | Mut | TwoPhaseMut [@@deriving show] - type unop = Not | Neg [@@deriving show, ord] (** A binary operation @@ -118,6 +115,8 @@ type operand = *) type aggregate_kind = | AggregatedTuple + | AggregatedOption of VariantId.id * ety + (* TODO: AggregatedOption should be merged with AggregatedAdt *) | AggregatedAdt of TypeDeclId.id * VariantId.id option * erased_region list * ety list [@@deriving show] |