From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <owner-parisc-linux@dsl2.external.hp.com>
Received: from passion.cambridge.redhat.com (dell-paw-3.cambridge.redhat.com [195.224.55.237])
	by dsl2.external.hp.com (Postfix) with ESMTP id 0A883482A
	for <parisc-linux@parisc-linux.org>; Sat, 21 Apr 2001 06:37:10 -0600 (MDT)
From: David Woodhouse <dwmw2@infradead.org>
In-Reply-To: <20010420203700.E21392@thyrsus.com> 
References: <20010420203700.E21392@thyrsus.com>  <20010420173514.A21392@thyrsus.com> <E14qjmd-0002QD-00@the-village.bc.nu> 
To: esr@thyrsus.com
Cc: Alan Cox <alan@lxorguk.ukuu.org.uk>,
	Nicolas Pitre <nico@cam.org>, Tom Rini <trini@kernel.crashing.org>,
	"Albert D. Cahalan" <acahalan@cs.uml.edu>,
	Matthew Wilcox <willy@ldl.fc.hp.com>,
	james rich <james.rich@m.cc.utah.edu>,
	lkml <linux-kernel@vger.kernel.org>, parisc-linux@parisc-linux.org
Subject: Re: [parisc-linux] Re: OK, let's try cleaning up another nit. Is anyone paying attention? 
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Date: Sat, 21 Apr 2001 13:32:13 +0100
Message-ID: <1164.987856333@redhat.com>
Sender: David Woodhouse <dwmw2@redhat.com>
List-ID: <linux-parisc.vger.kernel.org>

esr@thyrsus.com said:
> If it can't be mechanically verified that the symbol has a correct
> reference  pattern within the tree, then it's broken.  That's a
> definition. 

Here's an alternative definition:

If the symbol has the letters 'F', 'I', 'S' and 'H' in it, in any order, 
then it's broken.

That's also a definition. It's not a particularly useful one, but neither 
was yours.

/me looks for a way to equate the original definition with the halting 
problem :)

--
dwmw2