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
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
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
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