diff options
Diffstat (limited to 'src/boot/driver/main.ml')
| -rw-r--r-- | src/boot/driver/main.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/boot/driver/main.ml b/src/boot/driver/main.ml index b46963b2..3c37a032 100644 --- a/src/boot/driver/main.ml +++ b/src/boot/driver/main.ml @@ -32,6 +32,7 @@ let (sess:Session.sess) = Session.sess_log_lex = false; Session.sess_log_parse = false; Session.sess_log_ast = false; + Session.sess_log_passes = false; Session.sess_log_resolve = false; Session.sess_log_type = false; Session.sess_log_simplify = false; @@ -162,6 +163,8 @@ let argspecs = "-lparse" "log parsing"); (flag (fun _ -> sess.Session.sess_log_ast <- true) "-last" "log AST"); + (flag (fun _ -> sess.Session.sess_log_passes <- true) + "-lpasses" "log passes at high-level"); (flag (fun _ -> sess.Session.sess_log_resolve <- true) "-lresolve" "log resolution"); (flag (fun _ -> sess.Session.sess_log_type <- true) |