Remove `SomeSystemPath'.

original commit: f195b3c68903bfacb7cfea278162ed0651984f12
2011-06-22 11:27:27 -04:00 · 2011-06-22 11:27:27 -04:00 · 0c1aa7267c
commit 0c1aa7267c
parent 37672bf915
2 changed files with 1 additions and 3 deletions
--- 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) 
--- 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]