diff --git a/collects/tests/typed-scheme/succeed/ann-map-funcs.rkt b/collects/tests/typed-scheme/succeed/ann-map-funcs.rkt index a7835a366a..b46f167666 100644 --- a/collects/tests/typed-scheme/succeed/ann-map-funcs.rkt +++ b/collects/tests/typed-scheme/succeed/ann-map-funcs.rkt @@ -1,4 +1,4 @@ -#lang typed-scheme +#lang typed/racket (: map-with-funcs (All (b a ...) ((a ... a -> b) * -> (a ... a -> (Listof b))))) diff --git a/collects/tests/typed-scheme/succeed/datum-to-syntax.rkt b/collects/tests/typed-scheme/succeed/datum-to-syntax.rkt index 595650cb9f..e162861d2b 100644 --- a/collects/tests/typed-scheme/succeed/datum-to-syntax.rkt +++ b/collects/tests/typed-scheme/succeed/datum-to-syntax.rkt @@ -1,4 +1,4 @@ -#lang typed-scheme +#lang typed/scheme (: convert (Number -> Syntax)) (define (convert n) (datum->syntax #f n))