purescript / purescript/registry-dev
Consider supporting package aliases / remapping
Nobody has claimed this yet.
- Dominant language
- PureScript
- Stars
- 95
- Forks
- 79
- Avg merge
- 15m
- Merged PRs (30d)
- 1
Description
Every entry in package sets produced by the registry uses the Address type, where a package set is a Map PackageName Address, ie. key/value pairs between package names and addresses:
A registry-produced package set can only use the Registry constructor, so the package set is essentially a list like this:
{ package-name = Registry "1.0.0" }
This indicates that when package-name is listed as a dependency in a project, package managers should fetch package-name from the registry at version 1.0.0, read its dependencies, and fetch all those dependencies following the same process.
This works just fine in the usual case where you bring in packages from the registry, but there are some times where this becomes inconvenient. Two examples were brought up in the registry call this morning:
- You are developing an alternate backend like
purerland you need to use forked versions of common packages likeprelude, because you need to re-implement the FFI. - Your company is using the JS backend, but you are using a custom fork of
preludeanyway, and you need forpreludein package sets to point to your forked prelude
How can users deal with these two situations? For example, if you are developing a purerl-compatible package set, where packages using the FFI are forked to their purerl- equivalents (ie. purerl-prelude replacing prelude), then what is the most straightforward way to produce this package set?
The suggestion that was raised in the registry call this morning was to introduce a name field to the Address type for the registry, ie.
let Address = \(externalPackage : Type) ->
< Registry : { name : Text, version : SemVer }
| External : externalPackage
>
Then, users can remap package names, ie. the prelude could be mapped to purerl-prelude while other packages are left alone:
-- prelude is remapped
{ prelude = { name = "purerl-prelude", version = "1.0.0" }
-- bifunctors is not
, bifunctors = { name = "bifunctors", version = "1.0.0" }
}
When a package manager sees prelude as a dependency in your package, it is meant to fetch purerl-prelude instead. When it sees bifunctors as a dependency, it should fetch that package as usual, and when it sees in the bifunctors manifest that it in turn relies on prelude, the package manager should recall that prelude has been remapped to purerl-prelude and fetch (or cache) that.
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start with the linked v1/Address.dhall definition and the package-set representation described in the issue. Compare the current Registry constructor with the proposed name remapping, then determine the required package-manager behavior for direct and transitive dependencies. Done means an agreed design and implementation scope for aliases or remapping.
Written by the indexing model from the issue text.
Assessment
- Domain
- tooling
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 35/100