From a7452421be018e5d75065e2038f2f50042a80f3c Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 8 Mar 2024 10:42:10 +0100
Subject: Update the code generated for tuple projectors

---
 compiler/Main.ml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'compiler/Main.ml')

diff --git a/compiler/Main.ml b/compiler/Main.ml
index 0b8ec439..4a2d01dc 100644
--- a/compiler/Main.ml
+++ b/compiler/Main.ml
@@ -123,6 +123,10 @@ let () =
       ( "-split-fwd-back",
         Arg.Clear return_back_funs,
         " Split the forward and backward functions." );
+      ( "-tuple-nested-proj",
+        Arg.Set use_nested_tuple_projectors,
+        " Use nested projectors for tuples (e.g., (0, 1).snd.fst instead of \
+         (0, 1).1)." );
     ]
   in
 
-- 
cgit v1.2.3