diff options
| author | Son Ho | 2023-09-14 00:42:46 +0200 |
|---|---|---|
| committer | Son Ho | 2023-09-14 00:42:46 +0200 |
| commit | e8aa3804ef0134631cc16b257775ad8f98690c29 (patch) | |
| tree | 31e9e6e2a2540d15a949742522bd916a2b449112 /compiler/Config.ml | |
| parent | 378bfbd1be69ee54cfe7fad97ca3b09d0f80f62b (diff) | |
Make progress on the extraction
Diffstat (limited to 'compiler/Config.ml')
| -rw-r--r-- | compiler/Config.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/compiler/Config.ml b/compiler/Config.ml index 508746d9..62f6c300 100644 --- a/compiler/Config.ml +++ b/compiler/Config.ml @@ -339,3 +339,7 @@ let parameterize_trait_types = ref false trait associated types in the pure code. *) let type_check_pure_code = ref false + +(** Shall we fail hard if there is an issue at code-generation time? + We may not want in case outputting a code with holes helps debugging *) +let extract_fail_hard = ref false |