switch to typed/

2010-05-12 11:52:11 -04:00 · 2010-05-12 11:52:11 -04:00 · 5a8fac0bdf
commit 5a8fac0bdf
parent ec942b6dab
2 changed files with 2 additions and 2 deletions
--- 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)))))

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