From 6f505d8e879793e8e2798dac5aa1a3e99c8e2466 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Sun, 10 Mar 2024 19:07:36 +0100
Subject: Update the name generation and add CLI to print external pat names

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

(limited to 'compiler/Main.ml')

diff --git a/compiler/Main.ml b/compiler/Main.ml
index 3f5e62ad..e703f1a0 100644
--- a/compiler/Main.ml
+++ b/compiler/Main.ml
@@ -118,6 +118,9 @@ let () =
         Arg.Set use_nested_tuple_projectors,
         " Use nested projectors for tuples (e.g., (0, 1).snd.fst instead of \
          (0, 1).1)." );
+      ( "-ext-name-pats",
+        Arg.Set extract_external_name_patterns,
+        " Generate name patterns for the external definitions we find." );
     ]
   in
 
-- 
cgit v1.2.3