From 4168c1dcdaf4cdde860633ea95e0d92d8e116128 Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Tue, 5 Oct 2010 18:10:33 -0700 Subject: Add -lpasses for logging just the progress of passes. --- src/boot/driver/main.ml | 3 +++ src/boot/driver/session.ml | 1 + 2 files changed, 4 insertions(+) (limited to 'src/boot/driver') 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) diff --git a/src/boot/driver/session.ml b/src/boot/driver/session.ml index 06fcacb2..ae16c139 100644 --- a/src/boot/driver/session.ml +++ b/src/boot/driver/session.ml @@ -18,6 +18,7 @@ type sess = mutable sess_log_lex: bool; mutable sess_log_parse: bool; mutable sess_log_ast: bool; + mutable sess_log_passes: bool; mutable sess_log_resolve: bool; mutable sess_log_type: bool; mutable sess_log_simplify: bool; -- cgit v1.2.3