diff options
author | Son Ho | 2021-12-08 15:31:21 +0100 |
---|---|---|
committer | Son Ho | 2021-12-08 15:31:21 +0100 |
commit | 87c4acd79e4c5f21f2160ee6f8ea6982f2401a7d (patch) | |
tree | 4a399a5f7dcd6e95b9399d06c8a157716047dd85 /src | |
parent | 8e6308dc4017d2a2a0f9b48edcac4d0f40d8e1a9 (diff) |
Add a comment
Diffstat (limited to 'src')
-rw-r--r-- | src/Print.ml | 4 |
1 files changed, 4 insertions, 0 deletions
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 |