From 2bb4215b957d912058d490c16ee64320e3724037 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Tue, 26 Dec 2023 09:55:32 -0600 Subject: Update TODO --- lib/fixture.ml | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'lib/fixture.ml') diff --git a/lib/fixture.ml b/lib/fixture.ml index 278024c..25f6a8f 100644 --- a/lib/fixture.ml +++ b/lib/fixture.ml @@ -61,6 +61,10 @@ let id_of_fixture fixture = | Int (id, _, _) -> id +(* TODO: Support const *) +(* TODO: Support email *) +(* TODO: Support list *) + let rec replicate element n = match n with | 0 -> [] -- cgit v1.2.3