From 433a73aefab4f0cff71d219f2494047e6df915b9 Mon Sep 17 00:00:00 2001 From: Danny Yoo Date: Tue, 23 Oct 2012 17:45:47 -0600 Subject: [PATCH] trying to eliminate use of Any; something about it is breaking with typed racket in 5.3.1 --- parser/where-is-collects.rkt | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) diff --git a/parser/where-is-collects.rkt b/parser/where-is-collects.rkt index 1db573a..3492142 100644 --- a/parser/where-is-collects.rkt +++ b/parser/where-is-collects.rkt @@ -1,18 +1,20 @@ #lang typed/racket/base (require/typed racket/path (normalize-path (Path -> Path))) -(require/typed typed/racket/base - (relative-path? (Any -> Boolean)) - (find-executable-path (Path Path -> Path))) (provide collects-path) (define collects-path (normalize-path - (let ([p (find-system-path 'collects-dir)]) + (let: ([p : Path (find-system-path 'collects-dir)]) (cond [(relative-path? p) - (find-executable-path (find-system-path 'exec-file) - (find-system-path 'collects-dir))] + (define maybe-path (find-executable-path (find-system-path 'exec-file) + (find-system-path 'collects-dir))) + (cond + [(path? maybe-path) + maybe-path] + [else + (error 'collects-path "Could not find collects path")])] [else p]))))