summaryrefslogtreecommitdiff
path: root/compiler
diff options
context:
space:
mode:
authorSon Ho2022-11-11 12:46:23 +0100
committerSon HO2022-11-11 15:26:17 +0100
commit0b4e739f6be83e0fe9337f6363343587b35c5752 (patch)
tree313127807b75d1733e8cb667525a46255a948b57 /compiler
parent60803708ef34d480277e8e6e13ce87b54f534c19 (diff)
Make the Nix build work
Diffstat (limited to '')
-rw-r--r--compiler/Driver.ml7
-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