On Fri, 2009-02-06 at 14:39 +0000, Andrew Dinn wrote:
Adrian Brock wrote:
> On Fri, 2009-02-06 at 14:49 +0200, Dimitris Andreadis wrote:
>> The problem is Ales' changes:
>>
http://hudson.qa.jboss.com/hudson/view/JBoss%20AS/job/JBoss-AS-5.0.x-test...
>>
>> Thomas' changes on this build were only testsuite ones, and the previous
build before that
>> succeeded.
>>
>> It's a deadlock because we cannot release without a fixed VFS, while
"fixing" VFS breaks
>> other stuff so we cannot release :)
>
> Ok, but its still not a deadlock, its a tautology :-)
Errm, no. A tautology is a complex logical statement which is true for
all possible truth assignments to its elementary components. The above
is just am enthymeme for a simple deduction with a suppressed dependence
upon the law of excluded middle.
You're reading it differently to me. ;-)
A = we cannot release until the VFS is working
B = the vfs works
So Dimitris sentence is just a tautology
A & ~B => ~B & A
I guess you read the "fixing" part as meaning the vfs actually works
when clearly it doesn't by the qualification "breaks other stuff" :-)
--
xxxxxxxxxxxxxxxxxxxxxxxxxxxx
Adrian Brock
Chief Scientist
JBoss, a division of Red Hat
xxxxxxxxxxxxxxxxxxxxxxxxxxxx