From 917ecaae9b2078dcacffe2f1f6cf1017a5290681 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Wed, 11 Feb 2015 14:21:34 -0500 Subject: [PATCH] Fix type for `current-library-collection-paths` Closes PR 14975 --- typed-racket-lib/typed-racket/base-env/base-env.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/typed-racket-lib/typed-racket/base-env/base-env.rkt b/typed-racket-lib/typed-racket/base-env/base-env.rkt index be1082b7..22798ac9 100644 --- a/typed-racket-lib/typed-racket/base-env/base-env.rkt +++ b/typed-racket-lib/typed-racket/base-env/base-env.rkt @@ -2936,7 +2936,7 @@ [find-library-collection-paths (->opt [(-lst -Pathlike) (-lst -Pathlike)] (-lst -Path))] [collection-file-path (->* (list -Pathlike) -Pathlike -Path)] [collection-path (->* (list) -Pathlike -Path)] -[current-library-collection-paths (-Param -Path -Path)] +[current-library-collection-paths (-Param (-lst -Path) (-lst -Path))] [use-user-specific-search-paths (-Param Univ B)] ;; Typed Racket Reference