pkg/lib: change pkg-stage contract to return set

Before: contract expected list but the function returns a set
After: contract expects a set

fix #3029
This commit is contained in:
Ben Greenman 2020-02-10 14:56:54 -05:00
parent feb70a40c7
commit 5377d00c90
2 changed files with 4 additions and 2 deletions

View File

@ -3,6 +3,7 @@
(for-label (except-in racket/base (for-label (except-in racket/base
remove) remove)
racket/contract/base racket/contract/base
(only-in racket/set set/c)
pkg pkg
pkg/lib pkg/lib
(only-in pkg/db current-pkg-catalog-file) (only-in pkg/db current-pkg-catalog-file)
@ -189,7 +190,7 @@ is a directory within @racket[path]).
[#:force-strip? force-strip? boolean? #f] [#:force-strip? force-strip? boolean? #f]
[#:use-cache? use-cache? boolean? #f] [#:use-cache? use-cache? boolean? #f]
[#:quiet? quiet? boolean? #t]) [#:quiet? quiet? boolean? #t])
(values string? path? (or/c #f string?) boolean? (listof module-path?))]{ (values string? path? (or/c #f string?) boolean? (set/c module-path?))]{
Locates the implementation of the package specified by @racket[desc] Locates the implementation of the package specified by @racket[desc]
and downloads and unpacks it to a temporary directory (as needed). and downloads and unpacks it to a temporary directory (as needed).

View File

@ -1,5 +1,6 @@
#lang racket/base #lang racket/base
(require racket/contract/base (require racket/contract/base
(only-in racket/set set/c)
net/url net/url
"path.rkt" "path.rkt"
"private/desc.rkt" "private/desc.rkt"
@ -232,7 +233,7 @@
path? path?
(or/c #f string?) (or/c #f string?)
boolean? boolean?
(listof module-path?)))] (set/c module-path? #:cmp 'equal #:kind 'immutable)))]
[pkg-config-catalogs [pkg-config-catalogs
(-> (listof string?))] (-> (listof string?))]
[pkg-catalog-update-local [pkg-catalog-update-local