From 87c4acd79e4c5f21f2160ee6f8ea6982f2401a7d Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 8 Dec 2021 15:31:21 +0100
Subject: Add a comment

---
 src/Print.ml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/Print.ml')

diff --git a/src/Print.ml b/src/Print.ml
index 359416c8..77bdcb5b 100644
--- a/src/Print.ml
+++ b/src/Print.ml
@@ -209,6 +209,10 @@ module Values = struct
     ^ " <: "
     ^ PT.ty_to_string (value_to_rtype_formatter fmt) rty
 
+  (* TODO: it may be a good idea to try to factorize this function with
+   * typed_avalue_to_string. At some point we had done it, because [typed_value]
+   * and [typed_avalue] were instances of the same general type [g_typed_value],
+   * but then we removed this general type because it proved to be a bad idea. *)
   let rec typed_value_to_string (fmt : value_formatter) (v : V.typed_value) :
       string =
     let ty_fmt : PT.etype_formatter = value_to_etype_formatter fmt in
-- 
cgit v1.2.3