From 114e2d3866a2bf99a9719d71a1ddb6c94de4ddc4 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 21 Jun 2011 15:17:40 -0400 Subject: [PATCH] Rename SomeSystemPath to `Path-For-Some-System' original commit: 9be4b16703b89b07add3974ecb74dc6888337fda --- collects/tests/typed-scheme/succeed/somesystempath.rkt | 6 +++--- collects/typed-scheme/base-env/base-types.rkt | 4 +++- 2 files changed, 6 insertions(+), 4 deletions(-) diff --git a/collects/tests/typed-scheme/succeed/somesystempath.rkt b/collects/tests/typed-scheme/succeed/somesystempath.rkt index 1ad85b21..84326972 100644 --- a/collects/tests/typed-scheme/succeed/somesystempath.rkt +++ b/collects/tests/typed-scheme/succeed/somesystempath.rkt @@ -1,12 +1,12 @@ #lang typed/racket -(: unix-path SomeSystemPath) +(: unix-path Path-For-Some-System) (define unix-path (string->some-system-path "file.rkt" 'unix)) -(: windows-path SomeSystemPath) +(: windows-path Path-For-Some-System) (define windows-path (string->some-system-path "file.rkt" 'windows)) -(for: ((p : SomeSystemPath (list unix-path windows-path))) +(for: ((p : Path-For-Some-System (list unix-path windows-path))) (let ((long-path (build-path p 'up 'same p))) (unless (path-for-some-system? p) (error "Predicate failed")) diff --git a/collects/typed-scheme/base-env/base-types.rkt b/collects/typed-scheme/base-env/base-types.rkt index de63ccee..6d52354a 100644 --- a/collects/typed-scheme/base-env/base-types.rkt +++ b/collects/typed-scheme/base-env/base-types.rkt @@ -1,5 +1,7 @@ #lang s-exp "type-env-lang.rkt" +(provide (rename-out [Path-For-Some-System SomeSystemPath])) + [Complex -Number] [Number -Number] [Inexact-Complex -InexactComplex] @@ -77,7 +79,7 @@ [Any Univ] [Port -Port] [Path -Path] -[SomeSystemPath -SomeSystemPath] +[Path-For-Some-System -SomeSystemPath] [Path-String -Pathlike] [Regexp -Regexp] [PRegexp -PRegexp]