Re: [gentoo-dev] [RFC] Restricting allowed nesting of REQUIRED_USE

2017-06-12 Thread Michał Górny
On nie, 2017-06-11 at 18:18 +0200, Alexis Ballier wrote: > On Sat, 10 Jun 2017 00:30:07 +0200 > Michał Górny wrote: > > > Hi, everyone. > > > > As you may or may not know, PMS says rather little about REQUIRED_USE > > [1,2]. The largest past of the definition is shared with

Re: [gentoo-dev] [RFC] Restricting allowed nesting of REQUIRED_USE

2017-06-12 Thread Michał Górny
On sob, 2017-06-10 at 00:30 +0200, Michał Górny wrote: > Below I have listed the clauses I'd like to ban in a few logical groups, > along with explanations and examples. > > [...] Actually, after some thinking, here's one more: 4. All-of operator inside || While

Re: [gentoo-dev] [RFC] Forced/automatic USE flag constraints (codename: ENFORCED_USE)

2017-06-12 Thread Michał Górny
On pon, 2017-06-12 at 11:08 +0200, Alexis Ballier wrote: > On Sun, 11 Jun 2017 18:05:18 +0200 > Alexis Ballier wrote: > > > I think this handles all the cases. I'll try to update the repo with > > that algo. > > I've updated my fork. It'd be good to merge it and rebase

Re: [gentoo-dev] [RFC] Forced/automatic USE flag constraints (codename: ENFORCED_USE)

2017-06-12 Thread Alexis Ballier
On Sun, 11 Jun 2017 18:05:18 +0200 Alexis Ballier wrote: > I think this handles all the cases. I'll try to update the repo with > that algo. I've updated my fork. It'd be good to merge it and rebase solve() on top of the output of to_impl.convert_to_implications if you're