diff options
Diffstat (limited to 'src/boot/me/simplify.ml')
| -rw-r--r-- | src/boot/me/simplify.ml | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/boot/me/simplify.ml b/src/boot/me/simplify.ml index ddc17e92..97af539f 100644 --- a/src/boot/me/simplify.ml +++ b/src/boot/me/simplify.ml @@ -4,11 +4,11 @@ open Semant;; let log cx = Session.log "simplify" - cx.Semant.ctxt_sess.Session.sess_log_simplify + (should_log cx cx.Semant.ctxt_sess.Session.sess_log_simplify) cx.Semant.ctxt_sess.Session.sess_log_out let iflog cx thunk = - if cx.Semant.ctxt_sess.Session.sess_log_simplify + if (should_log cx cx.Semant.ctxt_sess.Session.sess_log_simplify) then thunk () else () ;; @@ -87,7 +87,6 @@ let pexp_simplifying_visitor let process_crate (cx:Semant.ctxt) (crate:Ast.crate) : unit = - let path = Stack.create () in let passes = [| @@ -96,7 +95,7 @@ let process_crate (cx:Semant.ctxt) (crate:Ast.crate) : unit = |] in let log_flag = cx.Semant.ctxt_sess.Session.sess_log_simplify in - Semant.run_passes cx "simplify" path passes log_flag log crate + Semant.run_passes cx "simplify" passes log_flag log crate ;; (* |