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
compcert: 3.7 → 3.8 #106287
compcert: 3.7 → 3.8 #106287
Conversation
sha256 = "184nfdgxrkci880lkaj5pgnify3plka7xfgqrgv16275sqppc5hc"; | ||
}) | ||
]; | ||
patches = param.patches or []; |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
patches = param.patches or []; | |
patches = stdenv.lib.optionals param.patches; |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Note that this suggestion does not correctly evaluate: stdenv.lib.optionals
takes two arguments, not one, so this would actually cause an eval error. Furthermore, if we assume that was fixed, x.f or [ ]
and optionals b x.f
are not equivalent anyway — x.f
evaluates to an error if the field f
does not exist in attrset x
, while x.f or y
will return y
in that case, and so the proposed change would still cause an eval error. So I think the original patch is just fine.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I guess that the following works: optionals (param ? patches) param.patches
. But I prefer avoiding the repetition.
These operators are documented in the nix manual.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
lgtm
Result of 1 package built:
|
Motivation for this change
Improvements: https://github.com/AbsInt/CompCert/releases/tag/v3.8
Keep 3.7 around for VST.
Things done
sandbox
innix.conf
on non-NixOS linux)nix-shell -p nixpkgs-review --run "nixpkgs-review wip"
./result/bin/
)nix path-info -S
before and after)