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

Add AmbiguityResolver to decide how to resolve ambiguity #7482

Draft
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

fendor
Copy link
Collaborator

@fendor fendor commented Jul 12, 2021

Add --pick-first-target flag

Every other command defaults to what they used to do.

Extracted from #7478

Not entirely sure about the purpose, extracted relevant changes and leaving this here so if somebody cares about it, they can pick it up from here.


Please include the following checklist in your PR:

Please also shortly describe how you tested your change. Bonus points for added tests!

Add --pick-first-target flag

Every other command defaults to what they used to do. show-build-info
now just chooses the first choice, since it doesn't care about
ambiguity.
@@ -685,6 +688,13 @@ configureExOptions _showOrParseArgs src =
(reqArg "always|never|ghc8.4.4+"
writeGhcEnvironmentFilesPolicyParser
writeGhcEnvironmentFilesPolicyPrinter)

, option [] ["pick-first-target"]
("If there's an amibguity in the target selector, then resolve it by"
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

typo ambiguity

@ulysses4ever ulysses4ever marked this pull request as draft July 22, 2022 18:44
@mergify mergify bot added the merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days label Sep 1, 2022
@ulysses4ever ulysses4ever removed the merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days label Sep 3, 2022
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.

3 participants