diff options
| author | Son Ho | 2022-11-11 12:46:23 +0100 |
|---|---|---|
| committer | Son HO | 2022-11-11 15:26:17 +0100 |
| commit | 0b4e739f6be83e0fe9337f6363343587b35c5752 (patch) | |
| tree | 313127807b75d1733e8cb667525a46255a948b57 /compiler | |
| parent | 60803708ef34d480277e8e6e13ce87b54f534c19 (diff) | |
Make the Nix build work
Diffstat (limited to '')
| -rw-r--r-- | compiler/Driver.ml | 7 | ||||
| -rw-r--r-- | fstar/Primitives.fst (renamed from compiler/fstar/Primitives.fst) | 0 |
2 files changed, 4 insertions, 3 deletions
diff --git a/compiler/Driver.ml b/compiler/Driver.ml index 304d0f2f..3059ec2f 100644 --- a/compiler/Driver.ml +++ b/compiler/Driver.ml @@ -140,17 +140,18 @@ let () = pure_micro_passes_log#set_level EL.Info; pure_to_extract_log#set_level EL.Info; translate_log#set_level EL.Info; + let log = main_log in (* Load the module *) let json = Yojson.Basic.from_file filename in match crate_of_json json with | Error s -> - main_log#error "error: %s\n" s; + log#error "error: %s\n" s; exit 1 | Ok m -> (* Logging *) - main_log#linfo (lazy ("Imported: " ^ filename)); - main_log#ldebug (lazy ("\n" ^ Print.Crate.crate_to_string m ^ "\n")); + log#linfo (lazy ("Imported: " ^ filename)); + log#ldebug (lazy ("\n" ^ Print.Crate.crate_to_string m ^ "\n")); (* Apply the pre-passes *) let m = PrePasses.apply_passes m in diff --git a/compiler/fstar/Primitives.fst b/fstar/Primitives.fst index 96138e46..96138e46 100644 --- a/compiler/fstar/Primitives.fst +++ b/fstar/Primitives.fst |