From 703eac8bd55e452762a44565d660d65005b0138d Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Tue, 19 Jul 2011 14:23:44 -0400 Subject: [PATCH] Fixed types for path operations. Closes PR12057. original commit: a7f0f7591d17558ed17644fadb89ad01216fd77a --- collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt | 3 +++ collects/typed-scheme/base-env/base-env.rkt | 4 ++-- 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt b/collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt index 381edb30..29808193 100644 --- a/collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt +++ b/collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt @@ -888,6 +888,9 @@ (tc-e (path->directory-path "foo") -Path) (tc-e (path->directory-path (string->some-system-path "foo" 'unix)) -SomeSystemPath) + (tc-e (resolve-path "foo") -Path) + (tc-e (expand-user-path "foo") -Path) + ;;String Tests (tc-e (string? "a") #:ret (ret B (-FS -top -bot))) (tc-e (string? 2) #:ret (ret B (-FS -bot -top))) diff --git a/collects/typed-scheme/base-env/base-env.rkt b/collects/typed-scheme/base-env/base-env.rkt index a0d3e9cf..9de38303 100644 --- a/collects/typed-scheme/base-env/base-env.rkt +++ b/collects/typed-scheme/base-env/base-env.rkt @@ -888,11 +888,11 @@ (cl->* (-> -Pathlike -Path) (-> -SomeSystemPathlike -SomeSystemPath))] -[resolve-path (-> -Path -Path)] +[resolve-path (-> -Pathlike -Path)] [cleanse-path (cl->* (-> -Pathlike -Path) (-> -SomeSystemPathlike -SomeSystemPath))] -[expand-user-path (-> -Path -Path)] +[expand-user-path (-> -Pathlike -Path)] [simplify-path (cl->*