>>>>> 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
pgpO2bIpGyvzQ.pgp
Description: PGP signature