fix pkg-install contract

Closes PR 10986
This commit is contained in:
Matthew Flatt 2010-06-27 11:15:53 -06:00
parent 1254c54852
commit d0dabc7136

View File

@ -63,7 +63,7 @@
[download/install-pkg
(-> string? string? natural-number/c any/c (or/c pkg? #f))]
[install-pkg
(-> pkg-spec? string? natural-number/c any/c (or/c pkg? #f))]
(-> pkg-spec? path-string? natural-number/c any/c (or/c pkg? #f))]
[add-hard-link
(-> string? string? natural-number/c natural-number/c path? void?)]
[remove-hard-link