From eb99be9ac37b9b42dbf5767b135773b03fafd7e1 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 26 Jan 2022 09:27:51 +0100
Subject: Cleanup a bit

---
 src/Pure.ml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'src/Pure.ml')

diff --git a/src/Pure.ml b/src/Pure.ml
index 566ba46b..fd1e7763 100644
--- a/src/Pure.ml
+++ b/src/Pure.ml
@@ -22,7 +22,10 @@ type ty =
   | Adt of T.type_id * ty list
       (** [Adt] encodes ADTs, tuples and assumed types.
        
-          TODO: what about the ended regions?
+          TODO: what about the ended regions? (ADTs may be parameterized
+          with several region variables. When giving back an ADT value, we may
+          be able to only give back part of the ADT. We need a way to encode
+          such "partial" ADTs.
        *)
   | TypeVar of TypeVarId.id
   | Bool
@@ -110,9 +113,6 @@ type fun_id =
 
 type call = { func : fun_id; type_params : ty list; args : typed_rvalue list }
 
-type left_value = unit
-(** TODO: assignment left value *)
-
 type let_bindings =
   | Call of typed_lvalue list * call
       (** The called function and the tuple of returned values. *)
-- 
cgit v1.2.3