diff options
author | Escherichia | 2024-03-12 15:02:17 +0100 |
---|---|---|
committer | Escherichia | 2024-03-28 14:59:01 +0100 |
commit | a64fdc8b1be70de43afe35ff788ba3240318daac (patch) | |
tree | 779601c91a6f034ed3e53c9d139eb9b6fdab1ba2 /compiler/Main.ml | |
parent | 65f7deb0043949049129c6a8e490d151b555fa16 (diff) |
WIP Beginning working on better errors: began replacing raise (Failure) and assert by craise and cassert. Does not compile yet, still need to propagate the meta variable where it's relevant
Diffstat (limited to '')
-rw-r--r-- | compiler/Main.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/Main.ml b/compiler/Main.ml index e703f1a0..e4e4ce1f 100644 --- a/compiler/Main.ml +++ b/compiler/Main.ml @@ -113,7 +113,7 @@ let () = Arg.Clear lean_gen_lakefile, " Generate a default lakefile.lean (Lean only)" ); ("-print-llbc", Arg.Set print_llbc, " Print the imported LLBC"); - ("-k", Arg.Clear fail_hard, " Do not fail hard in case of error"); + ("-abort-on-error", Arg.Set fail_hard, " Fail hard (fail on first error) in case of error"); ( "-tuple-nested-proj", Arg.Set use_nested_tuple_projectors, " Use nested projectors for tuples (e.g., (0, 1).snd.fst instead of \ @@ -274,7 +274,7 @@ let () = if !test_unit_functions then Test.test_unit_functions m; (* Translate the functions *) - Aeneas.Translate.translate_crate filename dest_dir m; + Aeneas.Translate.translate_crate meta filename dest_dir m; (* Print total elapsed time *) log#linfo |