From ec5efd25778e64ca273edd650d7606675aaba208 Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Mon, 26 Jul 2010 12:31:43 -0700 Subject: [PATCH] Note the typestate dataflow timing. The culprit is revealed. --- src/boot/me/typestate.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/boot/me/typestate.ml b/src/boot/me/typestate.ml index 0f8588decda..12e4a8f3bc5 100644 --- a/src/boot/me/typestate.ml +++ b/src/boot/me/typestate.ml @@ -1220,7 +1220,8 @@ let process_crate in let log_flag = cx.ctxt_sess.Session.sess_log_typestate in run_passes cx "typestate setup" path setup_passes log_flag log crate; - run_dataflow cx constr_id graph; + Session.time_inner "typestate dataflow" cx.ctxt_sess + (fun _ -> run_dataflow cx constr_id graph); run_passes cx "typestate verify" path verify_passes log_flag log crate; run_passes cx "typestate aux" path aux_passes log_flag log crate ;;