diff options
Diffstat (limited to '')
-rw-r--r-- | src/main.ml | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/src/main.ml b/src/main.ml index 9d038f12..e635d910 100644 --- a/src/main.ml +++ b/src/main.ml @@ -177,14 +177,8 @@ let () = unfold_monadic_let_bindings = !unfold_monads; filter_useless_monadic_calls = !filter_useless_calls; filter_useless_functions = !filter_useless_functions; - use_state_monad = not !no_state; } in - (* Small issue: the monadic `bind` only works for the error-monad, not - * the state-error monad (there are definitions to write and piping to do) *) - assert ( - (not micro_passes_config.use_state_monad) - || micro_passes_config.unfold_monadic_let_bindings); let trans_config = { Translate.eval_config; @@ -193,6 +187,7 @@ let () = test_unit_functions; extract_decreases_clauses = not !no_decreases_clauses; extract_template_decreases_clauses = !template_decreases_clauses; + use_state_monad = not !no_state; } in Translate.translate_module filename dest_dir trans_config m |