summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSon Ho2024-04-03 17:49:00 +0200
committerSon Ho2024-04-03 17:49:00 +0200
commite9bbac75812ef556585f14b72239133619cf1748 (patch)
treee45aaa678e0ac91b786ac3cf9accd2af6ab5260c
parentf4a89caad1459f2f72295c5baa284fe1f9b4c39f (diff)
Update the initial configuration
-rw-r--r--compiler/Config.ml2
-rw-r--r--compiler/Main.ml3
2 files changed, 1 insertions, 4 deletions
diff --git a/compiler/Config.ml b/compiler/Config.ml
index 099cdc8b..0b26e2ef 100644
--- a/compiler/Config.ml
+++ b/compiler/Config.ml
@@ -368,4 +368,4 @@ let backend_has_tuple_projectors () =
let use_nested_tuple_projectors = ref false
(** Generate name patterns for the external definitions we encounter *)
-let extract_external_name_patterns = ref false
+let extract_external_name_patterns = ref true
diff --git a/compiler/Main.ml b/compiler/Main.ml
index 64d8ae2b..db200f37 100644
--- a/compiler/Main.ml
+++ b/compiler/Main.ml
@@ -120,9 +120,6 @@ 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