diff options
Diffstat (limited to '')
| -rw-r--r-- | compiler/Config.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/Config.ml b/compiler/Config.ml index 65aa7555..099cdc8b 100644 --- a/compiler/Config.ml +++ b/compiler/Config.ml @@ -318,7 +318,7 @@ let type_check_pure_code = ref false (** Shall we fail hard if we encounter an issue, or should we attempt to go as far as possible while leaving "holes" in the generated code? *) -let fail_hard = ref true +let fail_hard = ref false (** If true, add the type name as a prefix to the variant names. |