Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
feat: redesign flake-ref parsing (#15)
This PR implements nix supported flakerefs. Unlike the previous implementation all flakerefs are individual (generic) types. This allows implementing converting to and from string representations on a per-type basis, rather than necessarily covering all possible references in a single match statement. As a side effect, implementing flake references one by one, allowed us to match nix' behavior more closely (#3, #16). Some flakerefs allow multiple protocols, but are essentially equivalent. This includes `file`, `tarball`, `git` and "git forges" (e.g. `github`). Such flakerefs have been implemented as generic types in order to share parsing logic, and at the same time retain the ability to enforce individual origins statically. For instance, it is now possible to define a composite type that requires local files (i.e. `git+file`, `path` `[file+]file://` or `[tarball+]file://`). All tests that existed with the old flake_ref work with the new ones and I added a couple of "roundtrips" to assure, we do not lose information on the way. I stumbled over a very annoying [`serde` bug](serde-rs/serde#1547 (comment)) that basically says, `deny_unknown_fields` and `flatten` cannot be used together. That and the fact that `url` queries are not self describing structures (which [triggers](nox/serde_urlencoded#33) another [`serde` bug](serde-rs/serde#1183) related to flattening), lets me wonder if we should use serde at all for query parsing or do the parsing manually, at the cost of legibility (https://github.com/flox/runix/pull/12/files#diff-fa82b2796286fd4622869172f2187af6691578ffbdf972e853826db2d4277fbcR200-R226). --------- Co-authored-by: Matthew Kenigsberg <[email protected]>
- Loading branch information