diff options
author | Son Ho | 2023-03-07 23:31:57 +0100 |
---|---|---|
committer | Son HO | 2023-06-04 21:44:33 +0200 |
commit | fa76f1b94e1f68d520b02c0dc1072cb73fa9d8be (patch) | |
tree | 6d301b14dc1909beff34691796c4abae88490408 /compiler/Config.ml | |
parent | a946df8b716695f4d387d852b7e74cf288ddb03e (diff) |
Add a special expression for structure creation/update
Diffstat (limited to '')
-rw-r--r-- | compiler/Config.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/compiler/Config.ml b/compiler/Config.ml index 1baed7fa..15818938 100644 --- a/compiler/Config.ml +++ b/compiler/Config.ml @@ -118,7 +118,6 @@ let dont_use_field_projectors = ref false (** Deconstructing ADTs which have only one variant with let-bindings is not always supported: this parameter controls whether we use let-bindings in such situations or not. *) - let always_deconstruct_adts_with_matches = ref false (** Controls whether we need to use a state to model the external world |