From 5a8fac0bdf9f4a93d2407c309c7c7110d5c029b3 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 12 May 2010 11:52:11 -0400 Subject: [PATCH] switch to typed/ --- collects/tests/typed-scheme/succeed/ann-map-funcs.rkt | 2 +- collects/tests/typed-scheme/succeed/datum-to-syntax.rkt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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))