Gentoo Archives: gentoo-dev

From: Ciaran McCreesh <ciaran.mccreesh@××××××××××.com>
To: gentoo-dev@l.g.o
Subject: Re: [gentoo-dev] Pre-GLEP RFC: Automated enforcing of REQUIRED_USE constraints
Date: Sat, 08 Jul 2017 17:58:58
Message-Id: 20170708185847.4f0a4c4e@snowblower
In Reply to: Re: [gentoo-dev] Pre-GLEP RFC: Automated enforcing of REQUIRED_USE constraints by Alexis Ballier
1 On Sat, 8 Jul 2017 16:39:29 +0200
2 Alexis Ballier <aballier@g.o> wrote:
3 > > As much as I hate the weird || ( use ? ( ) ) and empty block rules,
4 > > it would be worse to have them apply in some situations but not
5 > > others.
6 >
7 > Indeed, makes sense. Would it also make sense to have some more
8 > logical meaning in a future EAPI ? I mean, in every context I've ever
9 > seen, applying a rule to the empty set is the neutral of that rule,
10 > so that it preserves associativity.
11 > That'd mean: || ( ) is false, && ( ) is true, ^^ ( ) is false, ?? ( )
12 > is false.
13
14 The sensible thing to do is ban it, and additionally ban use? ( )
15 inside || and ^^ (if we've not done that already...).
16
17 --
18 Ciaran McCreesh

Replies