From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id CAA6A139694 for ; Tue, 6 Jun 2017 12:08:21 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 1822F21C093; Tue, 6 Jun 2017 12:08:12 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id B99E921C03C for ; Tue, 6 Jun 2017 12:08:11 +0000 (UTC) Received: from localhost (unknown [IPv6:2a01:e34:eeaa:6bd0:4ecc:6aff:fe03:1cfc]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) (Authenticated sender: aballier) by smtp.gentoo.org (Postfix) with ESMTPSA id 5AF033419CA for ; Tue, 6 Jun 2017 12:08:10 +0000 (UTC) Date: Tue, 6 Jun 2017 14:08:03 +0200 From: Alexis Ballier To: gentoo-dev@lists.gentoo.org Subject: Re: [gentoo-dev] [RFC] Forced/automatic USE flag constraints (codename: ENFORCED_USE) Message-ID: <20170606140803.051f8048@gentoo.org> In-Reply-To: <1496686212.1222.4.camel@gentoo.org> References: <1496071993.31087.1.camel@gentoo.org> <22829.24276.295.969060@a1i15.kph.uni-mainz.de> <1496154812.1238.5.camel@gentoo.org> <20170530173340.0b575526@gentoo.org> <1496167898.1335.1.camel@gentoo.org> <20170530204614.61e8e42c@gentoo.org> <1496213717.1164.1.camel@gentoo.org> <20170531093257.23b66f88@gentoo.org> <1496217792.1164.5.camel@gentoo.org> <20170531103819.417c2420@gentoo.org> <1496235892.25038.1.camel@gentoo.org> <20170531193922.477245bb@gentoo.org> <1496257344.25758.1.camel@gentoo.org> <20170601105523.08a9234e@gentoo.org> <1496352685.30502.4.camel@gentoo.org> <20170602132758.50a5f734@gentoo.org> <1496411717.29233.5.camel@gentoo.org> <20170603130000.4f88fb14@gentoo.org> <1496503989.15351.1.camel@gentoo.org> <20170603185835.57741ff0@gentoo.org> <20170604105938.2b40157f@gentoo.org> <20170605095516.0b463432@gentoo.org> <1496671825.1230.3.camel@gentoo.org> <20170605192433.6238797b@gentoo.org> <1496686212.1222.4.camel@gentoo.org> Organization: Gentoo X-Mailer: Claws Mail 3.15.0-dirty (GTK+ 2.24.31; x86_64-pc-linux-gnu) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-dev@lists.gentoo.org Reply-to: gentoo-dev@lists.gentoo.org MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Archives-Salt: b2d27462-e3a9-4873-a1fc-383b66cfb9ba X-Archives-Hash: 3b96b1df47b28edc523cb67dcd6f22b6 On Mon, 05 Jun 2017 20:10:12 +0200 Micha=C5=82 G=C3=B3rny wrote: [...] > > > Stand-alone makes little sense (and little trouble) but as you > > > could have seen it's used nested in other thingies: > > >=20 > > > 1. || ( ( a b ) ( c d ) e ) > > >=20 > > > 2. ?? ( ( a b ) ( c d ) e ) > > >=20 > > > 3. ^^ ( ( a b ) ( c d ) e ) =20 > >=20 > > Yeah that's the nesting problem causing a parse error. > > Those should be expanded to implications. What I'm relying onto is > > all clauses to be of the form '[list of conditions]? [list of > > constraints]' =20 >=20 > I've noticed that you turned the implications into multi-conditions, > breaking all my scripts ;-). Is the [list of conditions] conjunctive > or disjunctive? conjunctive as in foo? ( bar? ( baz ) ) -> [foo,bar]?[baz] [...] > > > The question is whether we want to: > > >=20 > > > a. actually try to solve this nesting insanity, > > >=20 > > > b. declare it unsupported and throw REQUIRED_USE mismatch on user, > > >=20 > > > c. ban it altogether. =20 > >=20 > >=20 > > I don't think it is *that* insane to support nesting :) > > =20 >=20 > || ( ^^ ( ?? ( a b ) c ( d e ) ) f ) If you really need that then you'd need to expand it manually. It seems better to have it expanded internally automatically. Remember you were the one wanting to keep || & co because they're simpler to read and write ;) Alexis.