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

we need to prefer package over group settings #2687

Merged
merged 1 commit into from
Aug 30, 2017
Merged

we need to prefer package over group settings #2687

merged 1 commit into from
Aug 30, 2017

Conversation

matthid
Copy link
Member

@matthid matthid commented Aug 29, 2017

we need to prefer package over group settings, fixes #2682

Note: I didn't fully understand the root cause but (especially why a particular comparison contained "None"), but it seems to be obvious that we need to prefer package over group settings (and therefore have them in front of the " "). @forki could you please quickly review if that makes sense?

This might have lead to incorrect comparisons of restrictions (but I don't get why I saw in the debugger a comparsion of "generate_load_scripts = Some true" with "generate_load_scripts = None"

From my understanding it should never be "None" no matter the order of the arguments?!

@matthid
Copy link
Member Author

matthid commented Aug 29, 2017

Ah OK I found the reason:
GenerateLoadScripts is not part of the ( ) operator:
https://github.com/fsprojects/Paket/blob/master/src/Paket.Core/Versioning/Requirements.fs#L773-L787

Should it?

@0x53A
Copy link
Contributor

0x53A commented Aug 29, 2017

My guess: GenerateLoadScripts was added after the record was created, and the adder forgot to update the operator? See commit f616c8b

I created fsharp/fslang-suggestions#603 ;)

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.

Incorrect warning that dependencies lock files are out of date
2 participants