On sob, 2017-07-08 at 18:58 +0100, Ciaran McCreesh wrote: > On Sat, 8 Jul 2017 16:39:29 +0200 > Alexis Ballier <aball...@gentoo.org> wrote: > > > As much as I hate the weird || ( use ? ( ) ) and empty block rules, > > > it would be worse to have them apply in some situations but not > > > others. > > > > Indeed, makes sense. Would it also make sense to have some more > > logical meaning in a future EAPI ? I mean, in every context I've ever > > seen, applying a rule to the empty set is the neutral of that rule, > > so that it preserves associativity. > > That'd mean: || ( ) is false, && ( ) is true, ^^ ( ) is false, ?? ( ) > > is false. > > The sensible thing to do is ban it, and additionally ban use? ( ) > inside || and ^^ (if we've not done that already...). >
My GLEP bans the latter. As someone already pointed out, it didn't concern the case of empty groups, so I can either ban them or describe them. -- Best regards, Michał Górny
signature.asc
Description: This is a digitally signed message part
