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

Fix type for current-library-collection-paths

Browse Source 
Closes PR 14975
This commit is contained in:
Asumu Takikawa 2015-02-11 14:21:34 -05:00
parent a4252d47f4
commit 917ecaae9b
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
typed-racket-lib/typed-racket/base-env/base-env.rkt
View File

@ -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