From 44a93b7e4307eb9514595777edac806c866e2559 Mon Sep 17 00:00:00 2001 From: Daniel Feltey Date: Sun, 26 Jul 2015 19:30:39 -0500 Subject: [PATCH] Merge `print-syntax?` and `show-input?` parameters into just the `print-syntax?` parameter --- typed-racket-lib/typed-racket/tc-setup.rkt | 2 +- typed-racket-lib/typed-racket/utils/utils.rkt | 4 ---- 2 files changed, 1 insertion(+), 5 deletions(-) diff --git a/typed-racket-lib/typed-racket/tc-setup.rkt b/typed-racket-lib/typed-racket/tc-setup.rkt index d749e8f0..f99e0bee 100644 --- a/typed-racket-lib/typed-racket/tc-setup.rkt +++ b/typed-racket-lib/typed-racket/tc-setup.rkt @@ -53,7 +53,7 @@ [disappeared-use-todo null] [disappeared-bindings-todo null]) (define fully-expanded-stx (disarm* (do-expand stx expand-ctxt (list #'module*)))) - (when (show-input?) + (when (print-syntax?) (pretty-print (syntax->datum fully-expanded-stx))) (do-time "Local Expand Done") (let ([exprs (syntax->list (syntax-local-introduce fully-expanded-stx))]) diff --git a/typed-racket-lib/typed-racket/utils/utils.rkt b/typed-racket-lib/typed-racket/utils/utils.rkt index 06a0498b..adcfe206 100644 --- a/typed-racket-lib/typed-racket/utils/utils.rkt +++ b/typed-racket-lib/typed-racket/utils/utils.rkt @@ -14,8 +14,6 @@ at least theoretically. optimize? ;; timing start-timing do-time - ;; logging - show-input? ;; provide macros rep utils typecheck infer env private types static-contracts ;; misc @@ -33,8 +31,6 @@ at least theoretically. (syntax-rules () [(_) (begin)]))) (do-contract-req) -(define show-input? (make-parameter #f)) - ;; fancy require syntax (define-syntax (define-requirer stx) (syntax-parse stx