From 2791900499e169cc618e0cc477de159d5d23a1c0 Mon Sep 17 00:00:00 2001 From: Max Lang <17551908+just-max@users.noreply.github.com> Date: Sun, 29 Sep 2024 04:17:24 +0200 Subject: [PATCH] signature_builder.ml: TODO note --- src/stdlib-variants/signature-builder/signature_builder.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/stdlib-variants/signature-builder/signature_builder.ml b/src/stdlib-variants/signature-builder/signature_builder.ml index 2e8cb90..9b039ee 100644 --- a/src/stdlib-variants/signature-builder/signature_builder.ml +++ b/src/stdlib-variants/signature-builder/signature_builder.ml @@ -152,7 +152,8 @@ module Parse = struct {[type ('a, 'b) result = ('a, 'b) Stdlib.result = Ok of 'a | Error of 'b]} *) - (* TODO: make it possible to reference an existing type automatically *) + (* TODO: make it possible to reference an existing type automatically. + Challenge is deciding how to resolve the type to reference. *) let ordered_set = let open Ordered_set in