From 99658f326c0db93eab6fe202357887ceeb5ecd9d Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Thu, 26 Aug 2010 18:51:48 -0400 Subject: [PATCH] Logging can be turned on from the command-line. original commit: 9b598df60a5fb621491a3513ff445e2db6053f83 --- collects/typed-scheme/optimizer/utils.rkt | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/collects/typed-scheme/optimizer/utils.rkt b/collects/typed-scheme/optimizer/utils.rkt index dfe0b200..bea4208e 100644 --- a/collects/typed-scheme/optimizer/utils.rkt +++ b/collects/typed-scheme/optimizer/utils.rkt @@ -15,8 +15,9 @@ unboxed-gensym reset-unboxed-gensym optimize) - -(define *log-optimizations?* #f) +(define *log-optimizations?* + (member "--log-optimizations" + (vector->list (current-command-line-arguments)))) (define *log-optimizatons-to-log-file?* #f) (define *optimization-log-file* "opt-log") (define (log-optimization kind stx)