From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gentoo-dev+bounces-80851-garchives=archives.gentoo.org@lists.gentoo.org>
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 E7033139694
	for <garchives@archives.gentoo.org>; Wed, 31 May 2017 07:35:22 +0000 (UTC)
Received: from pigeon.gentoo.org (localhost [127.0.0.1])
	by pigeon.gentoo.org (Postfix) with SMTP id 54871E0F06;
	Wed, 31 May 2017 07:34:28 +0000 (UTC)
Received: from smtp.gentoo.org (woodpecker.gentoo.org [IPv6:2001:470:ea4a:1:5054:ff:fec7:86e4])
	(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 1609DE0EFC
	for <gentoo-dev@lists.gentoo.org>; Wed, 31 May 2017 07:34:28 +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 B1ECC34172B
	for <gentoo-dev@lists.gentoo.org>; Wed, 31 May 2017 07:34:26 +0000 (UTC)
Date: Wed, 31 May 2017 09:34:20 +0200
From: Alexis Ballier <aballier@gentoo.org>
To: gentoo-dev@lists.gentoo.org
Subject: Re: [gentoo-dev] [RFC] Forced/automatic USE flag constraints
 (codename: ENFORCED_USE)
Message-ID: <20170531093420.720213c5@gentoo.org>
In-Reply-To: <20170531082420.3ffbf42a@snowblower>
References: <1496071993.31087.1.camel@gentoo.org>
	<20170529200037.2559f80a@gentoo.org>
	<1496093035.12795.3.camel@gentoo.org>
	<20170530094245.40e1cf64@gentoo.org>
	<20170530092245.681d4aeb@snowblower>
	<20170530104654.31b89e10@gentoo.org>
	<20170530095607.1adbc0b8@snowblower>
	<20170530112518.65b4f9e9@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>
	<20170531082420.3ffbf42a@snowblower>
Organization: Gentoo
X-Mailer: Claws Mail 3.15.0-dirty (GTK+ 2.24.31; x86_64-pc-linux-gnu)
Precedence: bulk
List-Post: <mailto:gentoo-dev@lists.gentoo.org>
List-Help: <mailto:gentoo-dev+help@lists.gentoo.org>
List-Unsubscribe: <mailto:gentoo-dev+unsubscribe@lists.gentoo.org>
List-Subscribe: <mailto:gentoo-dev+subscribe@lists.gentoo.org>
List-Id: Gentoo Linux mail <gentoo-dev.gentoo.org>
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: 10e93075-4c31-4164-a3ad-dc5e83172a11
X-Archives-Hash: a4fb1297e7d67760d5da87ae41e678c7

On Wed, 31 May 2017 08:24:20 +0100
Ciaran McCreesh <ciaran.mccreesh@googlemail.com> wrote:

> On Wed, 31 May 2017 08:55:17 +0200
> Micha=C5=82 G=C3=B3rny <mgorny@gentoo.org> wrote:
> > For example:
> >=20
> >   foo? ( bar )
> >=20
> > would mean 'if you have USE=3Dfoo, then USE=3Dbar is enabled as well'. =
=20
>=20
> What about "if bar cannot be enabled, then turn foo off"?
>=20

You ask a constructivist who'll yell at you saying that 'foo -> bar' is
not equivalent to '!bar -> !foo'. You'll have to write the latter as
well if you want that.