Remove uses of unstable/debug from Typed Racket.

original commit: 536e3887bc72abd1219d32934d392ef173478ab2
This commit is contained in:
Sam Tobin-Hochstadt 2013-06-13 18:43:13 -04:00
parent 9f7bc9185d
commit c05383c66c
4 changed files with 4 additions and 6 deletions

View File

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

View File

@ -6,7 +6,6 @@
(for-template racket/base)
(rep type-rep)
syntax/parse
unstable/debug
syntax/id-table
racket/contract
racket/match

View File

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

View File

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