| 18 Apr 2023 |
 Robert Hensing (roberth) | or maybe amjoseph missed a negation somewhere | 16:03:49 |
| Robert Hensing (roberth) | discussions about changes to negated exceptions are too complicated for me | 16:04:23 |
 @piegames:matrix.org | Does anybody have the rights to mark some of the old discussions as "resolved"? | 16:09:28 |
| @piegames:matrix.org | infinisil: I must agree with Roberth here that since the last change you are sending mixed signals on the currently discussed point, and I'm unsure as to what's your current position on this. | 16:11:05 |
| @piegames:matrix.org | I think that we all actually agree and there is just a communication issue, but I'm unsure | 16:11:36 |
 infinisil | In reply to @roberthensing:matrix.org
infinisil did I miss a negation somewhere? Maybe clarify that callPackage foo { } is only a default that can be overridden in all-packages.nix? No there's no missing negation. I'm proposing a change to the RFC, I pushed those change to the branch, and am highlighting what changed with the review comments. Previously we had an exception that allowed all-packages.nix to do callPackage foo { /* non-empty */ }, but I'm proposing to remove that exception | 16:43:35 |
| infinisil | In reply to @piegames:matrix.org
Does anybody have the rights to mark some of the old discussions as "resolved"? ✋ | 16:44:02 |
| @piegames:matrix.org | In reply to @infinisil:matrix.org
No there's no missing negation. I'm proposing a change to the RFC, I pushed those change to the branch, and am highlighting what changed with the review comments. Previously we had an exception that allowed all-packages.nix to do callPackage foo { /* non-empty */ }, but I'm proposing to remove that exception How does this qualify as "exception"? Exception to what rule? I think potentially having arguments in a callPackage call is standard? | 17:39:26 |
| infinisil | piegames: It's an exception that allows arguments to package functions to not be pkgs.${name} | 18:42:34 |
