| 1 |
On sob, 2017-07-08 at 18:58 +0100, Ciaran McCreesh wrote: |
| 2 |
> On Sat, 8 Jul 2017 16:39:29 +0200 |
| 3 |
> Alexis Ballier <aballier@g.o> wrote: |
| 4 |
> > > As much as I hate the weird || ( use ? ( ) ) and empty block rules, |
| 5 |
> > > it would be worse to have them apply in some situations but not |
| 6 |
> > > others. |
| 7 |
> > |
| 8 |
> > Indeed, makes sense. Would it also make sense to have some more |
| 9 |
> > logical meaning in a future EAPI ? I mean, in every context I've ever |
| 10 |
> > seen, applying a rule to the empty set is the neutral of that rule, |
| 11 |
> > so that it preserves associativity. |
| 12 |
> > That'd mean: || ( ) is false, && ( ) is true, ^^ ( ) is false, ?? ( ) |
| 13 |
> > is false. |
| 14 |
> |
| 15 |
> The sensible thing to do is ban it, and additionally ban use? ( ) |
| 16 |
> inside || and ^^ (if we've not done that already...). |
| 17 |
> |
| 18 |
|
| 19 |
My GLEP bans the latter. As someone already pointed out, it didn't |
| 20 |
concern the case of empty groups, so I can either ban them or describe |
| 21 |
them. |
| 22 |
|
| 23 |
-- |
| 24 |
Best regards, |
| 25 |
Michał Górny |
Archives