From 536e3887bc72abd1219d32934d392ef173478ab2 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 13 Jun 2013 18:43:13 -0400 Subject: [PATCH] Remove uses of `unstable/debug` from Typed Racket. --- collects/typed-racket/core.rkt | 2 +- collects/typed-racket/env/scoped-tvar-env.rkt | 1 - collects/typed-racket/tc-setup.rkt | 5 ++--- collects/typed-racket/typecheck/tc-expr-unit.rkt | 2 +- collects/typed-racket/utils/debug.rkt | 8 -------- 5 files changed, 4 insertions(+), 14 deletions(-) delete mode 100644 collects/typed-racket/utils/debug.rkt diff --git a/collects/typed-racket/core.rkt b/collects/typed-racket/core.rkt index 6360bf22cd..17360fab72 100644 --- a/collects/typed-racket/core.rkt +++ b/collects/typed-racket/core.rkt @@ -15,7 +15,7 @@ (env env-req) (for-template (only-in (base-env prims) :type :print-type :query-type/result)) (utils utils tc-utils arm) - "tc-setup.rkt" "utils/debug.rkt") + "tc-setup.rkt") (provide mb-core ti-core wt-core) diff --git a/collects/typed-racket/env/scoped-tvar-env.rkt b/collects/typed-racket/env/scoped-tvar-env.rkt index c37fa5d656..96fc4eae36 100644 --- a/collects/typed-racket/env/scoped-tvar-env.rkt +++ b/collects/typed-racket/env/scoped-tvar-env.rkt @@ -6,7 +6,6 @@ (for-template racket/base) (rep type-rep) syntax/parse - unstable/debug syntax/id-table racket/contract racket/match diff --git a/collects/typed-racket/tc-setup.rkt b/collects/typed-racket/tc-setup.rkt index 16854995e9..13c9dd0670 100644 --- a/collects/typed-racket/tc-setup.rkt +++ b/collects/typed-racket/tc-setup.rkt @@ -7,7 +7,7 @@ (types utils) (typecheck typechecker provide-handling tc-toplevel) (env tvar-env type-name-env type-alias-env env-req mvar-env) - (utils tc-utils disarm mutated-vars debug) + (utils tc-utils disarm mutated-vars) (rep type-rep) (for-syntax racket/base) (for-template racket/base)) @@ -63,8 +63,7 @@ (do-time "Initialized Envs") (find-mutated-vars fully-expanded-stx mvar-env) (parameterize ([orig-module-stx (or (orig-module-stx) orig-stx)] - [expanded-module-stx fully-expanded-stx] - [debugging? #f]) + [expanded-module-stx fully-expanded-stx]) (do-time "Starting `checker'") (define-values (pre-result post-result) (checker fully-expanded-stx)) (do-time "Typechecking Done") diff --git a/collects/typed-racket/typecheck/tc-expr-unit.rkt b/collects/typed-racket/typecheck/tc-expr-unit.rkt index 3839df41e2..5b2bbb6a87 100644 --- a/collects/typed-racket/typecheck/tc-expr-unit.rkt +++ b/collects/typed-racket/typecheck/tc-expr-unit.rkt @@ -14,7 +14,7 @@ (env lexical-env type-env-structs tvar-env index-env) racket/private/class-internal syntax/parse syntax/stx - unstable/function unstable/syntax #;unstable/debug + unstable/function unstable/syntax (only-in srfi/1 split-at) (for-template "internal-forms.rkt" (only-in '#%paramz [parameterization-key pz:pk]))) diff --git a/collects/typed-racket/utils/debug.rkt b/collects/typed-racket/utils/debug.rkt deleted file mode 100644 index be97129647..0000000000 --- a/collects/typed-racket/utils/debug.rkt +++ /dev/null @@ -1,8 +0,0 @@ -#lang racket/base - -(require (prefix-in d: unstable/debug)) -(provide debugf debugging? dprintf) - -(define debugging? (make-parameter #f)) -(define-syntax-rule (debugf f . args) (if (debugging?) (d:debugf f . args) (f . args))) -(define (dprintf . args) (when (debugging?) (apply d:dprintf args)))