suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Rename SomeSystemPath to `Path-For-Some-System'

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2011-06-21 15:17:40 -04:00
parent d8c972734d
commit 9be4b16703
2 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/tests/typed-scheme/succeed/somesystempath.rkt
View File

@ -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"))

4
collects/typed-scheme/base-env/base-types.rkt
View File

@ -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]