From 0c1aa7267c812b9fa27cd55d961ed77be84164c5 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 22 Jun 2011 11:27:27 -0400 Subject: [PATCH] Remove `SomeSystemPath'. original commit: f195b3c68903bfacb7cfea278162ed0651984f12 --- collects/tests/typed-scheme/succeed/paths.rkt | 2 +- collects/typed-scheme/base-env/base-types.rkt | 2 -- 2 files changed, 1 insertion(+), 3 deletions(-) diff --git a/collects/tests/typed-scheme/succeed/paths.rkt b/collects/tests/typed-scheme/succeed/paths.rkt index aa752e1a..34be9499 100644 --- a/collects/tests/typed-scheme/succeed/paths.rkt +++ b/collects/tests/typed-scheme/succeed/paths.rkt @@ -16,7 +16,7 @@ ((unix) 'windows) ((windows) 'unix))) -(: other-foo-path SomeSystemPath) +(: other-foo-path Path-For-Some-System) (define other-foo-path (build-path/convention-type other-system (string->some-system-path "foo" other-system) diff --git a/collects/typed-scheme/base-env/base-types.rkt b/collects/typed-scheme/base-env/base-types.rkt index 6d52354a..31ee4be1 100644 --- a/collects/typed-scheme/base-env/base-types.rkt +++ b/collects/typed-scheme/base-env/base-types.rkt @@ -1,7 +1,5 @@ #lang s-exp "type-env-lang.rkt" -(provide (rename-out [Path-For-Some-System SomeSystemPath])) - [Complex -Number] [Number -Number] [Inexact-Complex -InexactComplex]