diff options
| author | Son Ho | 2022-02-23 14:57:14 +0100 |
|---|---|---|
| committer | Son Ho | 2022-02-23 14:57:14 +0100 |
| commit | 2a8a568e6d308f0e220706062258448c15d295de (patch) | |
| tree | c75ed9bcbb373f279a093ff0f367323f04550e66 /src | |
| parent | e4eb9e2eddd5863f46a1680d1d9d8e32adfd746e (diff) | |
Add comments
Diffstat (limited to '')
| -rw-r--r-- | src/Expressions.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Expressions.ml b/src/Expressions.ml index 9c6b8490..199184ed 100644 --- a/src/Expressions.ml +++ b/src/Expressions.ml @@ -88,6 +88,7 @@ type operand_constant_value = | ConstantAdt of VariantId.id option * operand_constant_value list [@@deriving show] +(* TODO: symplify the operand constant values *) type operand = | Copy of place | Move of place @@ -121,6 +122,7 @@ type aggregate_kind = TypeDefId.id * VariantId.id option * erased_region list * ety list [@@deriving show] +(* TODO: move the aggregate kind to operands *) type rvalue = | Use of operand | Ref of place * borrow_kind |