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

Repair type of `find-relative-path'.

Browse Source 
original commit: 717476f84df4927cdb2e2ae012ddd3c621892f38
This commit is contained in:
Sam Tobin-Hochstadt 2011-08-25 18:59:23 -04:00
parent c937f35913
commit a4600be405
2 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1539,7 +1539,6 @@
;; scheme/path
[explode-path (-SomeSystemPathlike . -> . (-lst (Un -SomeSystemPath (one-of/c 'up 'same))))]
[find-relative-path (-SomeSystemPathlike -SomeSystemPathlike . -> . -SomeSystemPath)]
[simple-form-path (-Pathlike . -> . -Path)]
[normalize-path (cl->* (-Pathlike [-Pathlike] . ->opt . -Path))]
[filename-extension (-SomeSystemPathlike . -> . (-opt -Bytes))]

9
collects/typed-scheme/base-env/base-special-env.rkt
View File

@ -5,9 +5,9 @@
"../utils/utils.rkt"
racket/promise
string-constants/string-constant
racket/private/kw racket/file racket/port syntax/parse
racket/private/kw racket/file racket/port syntax/parse racket/path
(for-template (only-in racket/private/kw kw-expander-proc kw-expander-impl)
racket/base racket/promise racket/file racket/port string-constants/string-constant)
racket/base racket/promise racket/file racket/port racket/path string-constants/string-constant)
(utils tc-utils)
(env init-envs)
(except-in (rep filter-rep object-rep type-rep) make-arr)
@ -489,4 +489,9 @@
(-lst Univ)
(-opt -Output-Port) -Boolean
. -> . -Void)]
; [find-relative-path (-SomeSystemPathlike -SomeSystemPathlike . -> . -SomeSystemPath)]
[((kw-expander-proc (syntax-local-value #'find-relative-path)))
(-SomeSystemPathlike -SomeSystemPathlike #:more-than-root? Univ #f . ->key . -SomeSystemPath)]
[((kw-expander-impl (syntax-local-value #'find-relative-path)))
(Univ -Boolean -SomeSystemPathlike -SomeSystemPathlike . -> . -SomeSystemPath)]
)