>>>>> On Wed, 12 Aug 2015, Alexis Ballier wrote:

> it is more in the line of what we currently do, but that doesn't
> resolve the 'sat' problem: it doesnt make clear we don't want to
> satisfy it but rather walk through a list of causes and consequences

> now that i'm thinking more about it, killing || and ^^ would
> probably solve the automation problem:
> qt? ( !qt4? ( qt5 ) qt4? ( !qt5 ) ) vs 'qt? ( ^^ ( qt4 qt5 ) )'

> a bit longer but PM now knows what to do

> [...]

> No need for a new syntax :)

Indeed.

What is the general opinion, would it be worth the price of somewhat
longer expressions?

Ulrich

Attachment: pgpO2bIpGyvzQ.pgp
Description: PGP signature

Reply via email to