moved unstable/mutated-vars back to typed-racket

original commit: e086d237cdd3b10a8f2157d663c1ba9e377b78f7

collects/tests/typed-racket/unit-tests/special-env-typecheck-tests.rkt

@@ -11,14 +11,14 @@
                                 [-> t:->]))
          (except-in (utils tc-utils utils) infer)
          typed-racket/infer/infer-dummy typed-racket/infer/infer
-         unstable/mutated-vars
+         (utils mutated-vars)
          
          rackunit rackunit/text-ui
          syntax/parse         
          racket/file racket/port
          (for-syntax syntax/kerncase syntax/parse racket/syntax
                      (types abbrev convenience utils)
-                     unstable/mutated-vars
+                     (utils mutated-vars)
                      (utils tc-utils) (typecheck typechecker))
          typed-racket/base-env/prims
          typed-racket/base-env/base-types

collects/tests/typed-racket/unit-tests/typecheck-tests.rkt

@@ -16,7 +16,7 @@
                     [-> t:->])
          (except-in (utils tc-utils utils) infer)
          typed-racket/infer/infer-dummy typed-racket/infer/infer
-         unstable/mutated-vars
+         (utils mutated-vars)
          (env type-name-env type-env-structs init-envs)
          rackunit rackunit/text-ui
          syntax/parse

collects/typed-racket/env/lexical-env.rkt

@@ -9,10 +9,10 @@
 (require "../utils/utils.rkt"
 	 "type-env-structs.rkt"
          "global-env.rkt"
-	 unstable/mutated-vars syntax/id-table
+	 syntax/id-table
          (for-syntax syntax/parse syntax/parse/experimental/contract racket/base)
          (only-in scheme/contract ->* -> or/c any/c listof cons/c)
-         (utils tc-utils)
+         (utils tc-utils mutated-vars)
          (only-in (rep type-rep) Type/c)
          (typecheck tc-metafunctions)
 	 (except-in (types utils convenience) -> ->*))

collects/typed-racket/tc-setup.rkt

@@ -2,14 +2,13 @@
 
 (require (rename-in "utils/utils.rkt" [infer r:infer])
          (except-in syntax/parse id)
-         unstable/mutated-vars
          racket/pretty
          (private type-contract)
          (types utils convenience)
          (typecheck typechecker provide-handling tc-toplevel)
          (env tvar-env type-name-env type-alias-env)
          (r:infer infer)
-         (utils tc-utils disarm)
+         (utils tc-utils disarm mutated-vars)
          (rep type-rep)
          (except-in (utils utils) infer)
          (only-in (r:infer infer-dummy) infer-param)

collects/typed-racket/typecheck/tc-toplevel.rkt

@@ -14,8 +14,8 @@
          (types utils convenience type-table)
          (private parse-type type-annotation type-contract)
          (env global-env init-envs type-name-env type-alias-env lexical-env)
-	 unstable/mutated-vars syntax/id-table
-         (utils tc-utils)
+	 syntax/id-table
+         (utils tc-utils mutated-vars)
          "provide-handling.rkt"
          "def-binding.rkt"
          (prefix-in c: racket/contract)