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

trying to eliminate use of Any; something about it is breaking with typed racket in 5.3.1

Browse Source
This commit is contained in:
Danny Yoo 2012-10-23 17:45:47 -06:00
parent ed4e00e952
commit 433a73aefa
1 changed files with 8 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
parser/where-is-collects.rkt
View File

@ -1,18 +1,20 @@
#lang typed/racket/base #lang typed/racket/base
(require/typed racket/path (require/typed racket/path
(normalize-path (Path -> Path))) (normalize-path (Path -> Path)))
(require/typed typed/racket/base
(relative-path? (Any -> Boolean))
(find-executable-path (Path Path -> Path)))
(provide collects-path) (provide collects-path)
(define collects-path (define collects-path
(normalize-path (normalize-path
(let ([p (find-system-path 'collects-dir)]) (let: ([p : Path (find-system-path 'collects-dir)])
(cond (cond
[(relative-path? p) [(relative-path? p)
(find-executable-path (find-system-path 'exec-file) (define maybe-path (find-executable-path (find-system-path 'exec-file)
(find-system-path 'collects-dir))] (find-system-path 'collects-dir)))
(cond
[(path? maybe-path)
maybe-path]
[else
(error 'collects-path "Could not find collects path")])]
[else [else
p])))) p]))))