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

Fixed types for path operations. Closes PR12057.

Browse Source 
original commit: a7f0f7591d17558ed17644fadb89ad01216fd77a
This commit is contained in:
Eric Dobson 2011-07-19 14:23:44 -04:00 committed by Sam Tobin-Hochstadt
parent ff9fa5fbfd
commit 703eac8bd5
2 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt
View File

@ -888,6 +888,9 @@
(tc-e (path->directory-path "foo") -Path)
(tc-e (path->directory-path (string->some-system-path "foo" 'unix)) -SomeSystemPath)
(tc-e (resolve-path "foo") -Path)
(tc-e (expand-user-path "foo") -Path)
;;String Tests
(tc-e (string? "a") #:ret (ret B (-FS -top -bot)))
(tc-e (string? 2) #:ret (ret B (-FS -bot -top)))

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

@ -888,11 +888,11 @@
(cl->* (-> -Pathlike -Path)
(-> -SomeSystemPathlike -SomeSystemPath))]
[resolve-path (-> -Path -Path)]
[resolve-path (-> -Pathlike -Path)]
[cleanse-path
(cl->* (-> -Pathlike -Path)
(-> -SomeSystemPathlike -SomeSystemPath))]
[expand-user-path (-> -Path -Path)]
[expand-user-path (-> -Pathlike -Path)]
[simplify-path
(cl->*