diff --git a/typed-racket-test/fail/with-type-unregister.rkt b/typed-racket-test/fail/with-type-unregister.rkt index a65a7077..7c3c5aee 100644 --- a/typed-racket-test/fail/with-type-unregister.rkt +++ b/typed-racket-test/fail/with-type-unregister.rkt @@ -3,7 +3,7 @@ #lang racket/load (require (only-in typed/racket with-type String) - unstable/macro-testing) + syntax/macro-testing) ;; Ensure that types are unregistered in the type environment for free ;; variables for a `with-type` at the top-level diff --git a/typed-racket-test/succeed/with-type-typed-context-flag.rkt b/typed-racket-test/succeed/with-type-typed-context-flag.rkt index 1c3d3e48..3df19833 100644 --- a/typed-racket-test/succeed/with-type-typed-context-flag.rkt +++ b/typed-racket-test/succeed/with-type-typed-context-flag.rkt @@ -1,7 +1,7 @@ #lang racket/load (require (only-in typed/racket with-type) - unstable/macro-testing) + syntax/macro-testing) ;; Test that the typed-context? flag is properly reset diff --git a/typed-racket-test/unit-tests/prims-tests.rkt b/typed-racket-test/unit-tests/prims-tests.rkt index 1576938c..a53b56ec 100644 --- a/typed-racket-test/unit-tests/prims-tests.rkt +++ b/typed-racket-test/unit-tests/prims-tests.rkt @@ -6,7 +6,7 @@ (base-env base-types-extra) (base-env prims) rackunit - unstable/macro-testing) + syntax/macro-testing) (provide tests) (gen-test-main)