From 0d1d61c725e58889dcda23a44ecb9b32f87e4002 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 17 May 2010 15:37:14 -0500 Subject: [PATCH] rename to .rkt --- collects/tests/typed-scheme/succeed/{foldo.scm => foldo.rkt} | 0 collects/tests/typed-scheme/succeed/metrics.rkt | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) rename collects/tests/typed-scheme/succeed/{foldo.scm => foldo.rkt} (100%) diff --git a/collects/tests/typed-scheme/succeed/foldo.scm b/collects/tests/typed-scheme/succeed/foldo.rkt similarity index 100% rename from collects/tests/typed-scheme/succeed/foldo.scm rename to collects/tests/typed-scheme/succeed/foldo.rkt diff --git a/collects/tests/typed-scheme/succeed/metrics.rkt b/collects/tests/typed-scheme/succeed/metrics.rkt index 0135be3297..291963fdc9 100644 --- a/collects/tests/typed-scheme/succeed/metrics.rkt +++ b/collects/tests/typed-scheme/succeed/metrics.rkt @@ -6,7 +6,7 @@ (require/typed apply-to-scheme-files ((Path -> (Listof (Listof (U #f (Listof (U Number #f)))))) Path - -> (Listof (U #f (Listof (Listof ( U #f (Listof (U Number #f)))))))) "foldo.scm") + -> (Listof (U #f (Listof (Listof ( U #f (Listof (U Number #f)))))))) "foldo.rkt") (define-type-alias top Any) (define-type-alias str String)