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

Improve filter for `path-string?'.

Browse Source 
original commit: a39001911c6b2e601e2290d198b92ce7e54bd91d
This commit is contained in:
Sam Tobin-Hochstadt 2012-03-24 14:31:06 -04:00
parent 7d25bb6ba5
commit 177ecf23ca
2 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/tests/typed-racket/unit-tests/typecheck-tests.rkt
View File

@ -875,6 +875,8 @@
;;Path tests
(tc-e (path-string? "foo") B)
(tc-e (path-string? (string->path "foo")) #:ret (ret B (-FS -top -bot)))
(tc-e (bytes->path #"foo" 'unix) -SomeSystemPath)
(tc-e (bytes->path #"foo") -Path)
(tc-e (bytes->path-element #"foo") -Path)

4
collects/typed-racket/base-env/base-env.rkt
View File

@ -790,7 +790,9 @@
;; path manipulation
[path? (make-pred-ty -Path)]
[path-string? (-> Univ B)]
[path-string? (asym-pred Univ B
(-FS (-filter (Un -Path -String) 0)
(-not-filter -Path 0)))]
[path-for-some-system? (make-pred-ty -SomeSystemPath)]
[string->path (-> -String -Path)]