Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove rewrite feature #375

Merged

Conversation

Leonidas-from-XIV
Copy link
Member

As noted in #374 and confirmed with Dune maintainers, this way of approaching the problem doesn't work. My hope was to find a solution that can handle 80% of the tasks with 20% of the effort but it seems like due to the complexity of rewriting files that might not be in S-Expression format or be generated on build time, this feature cannot be implemented outside of dune with any kind of reliability.

Testing it on Irmin's dependencies ended up showing issues that couldn't be worked around, so instead of having a half-baked solution this PR removes all the code to reduce the maintenance burden.

Some parts might be reused later when Dune has support for subsetting similar to the one proposed here: ocaml/dune#7058 but given the code is still part of the version history it is safe to revisit it later when time comes.

…uish-private-public-names"

This reverts commit 49d6e1d, reversing
changes made to 1cd90f3.
…ewriting-ml-dune"

This reverts commit 1cd90f3, reversing
changes made to 2fe6944.
…-all-dune-files"

This reverts commit 2fe6944, reversing
changes made to 4fee1a4.
…-package-names"

This reverts commit 4fee1a4, reversing
changes made to 99c0c0a.
@Leonidas-from-XIV Leonidas-from-XIV merged commit 5ee3599 into tarides:main Feb 15, 2023
@Leonidas-from-XIV Leonidas-from-XIV deleted the remove-rewrite-feature branch February 15, 2023 08:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants