Remove uses of unstable/debug from Typed Racket.

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)
 

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

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")

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])))
 

collects/typed-racket/utils/debug.rkt

@@ -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)))