From ab84afef3a12ac95d86c7dc04bc9c238f2419a62 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 27 Jan 2022 12:31:43 +0100
Subject: Implement PrintPure.typed_rvalue_to_string

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

(limited to 'src/Pure.ml')

diff --git a/src/Pure.ml b/src/Pure.ml
index 4c6b836c..b7a61ab0 100644
--- a/src/Pure.ml
+++ b/src/Pure.ml
@@ -26,6 +26,10 @@ type ty =
           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.
+          
+          TODO: we may want to redefine type_id here, to remove some types like
+          boxe. But on the other hand, it might introduce a lot of administrative
+          manipulations just to remove boxe...
        *)
   | TypeVar of TypeVarId.id
   | Bool
@@ -86,7 +90,9 @@ type var = { id : VarId.id; ty : ty }
     TODO: add a field for the basename.
  *)
 
-type var_or_dummy = Var of var | Dummy  (** Ignored value: `_` *)
+type var_or_dummy =
+  | Var of var  (** TODO: use var_id, not var *)
+  | Dummy  (** Ignored value: `_`. *)
 
 (** A left value (which appears on the left of assignments *)
 type lvalue =
-- 
cgit v1.2.3