From 2a8a568e6d308f0e220706062258448c15d295de Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 23 Feb 2022 14:57:14 +0100
Subject: Add comments

---
 src/Expressions.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src')

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
-- 
cgit v1.2.3