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/Config.ml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'compiler/Config.ml')

diff --git a/compiler/Config.ml b/compiler/Config.ml
index af0e62d1..65aa7555 100644
--- a/compiler/Config.ml
+++ b/compiler/Config.ml
@@ -366,3 +366,6 @@ let backend_has_tuple_projectors () =
 (** We we use nested projectors for tuple (like: [(0, 1).snd.fst]) or do
     we use better projector syntax? *)
 let use_nested_tuple_projectors = ref false
+
+(** Generate name patterns for the external definitions we encounter *)
+let extract_external_name_patterns = ref false
-- 
cgit v1.2.3