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)