Return-Path: <linux-kernel-owner@vger.kernel.org>
Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand
	id <S132584AbRDUMh1>; Sat, 21 Apr 2001 08:37:27 -0400
Received: (majordomo@vger.kernel.org) by vger.kernel.org
	id <S132585AbRDUMhR>; Sat, 21 Apr 2001 08:37:17 -0400
Received: from t2.redhat.com ([199.183.24.243]:29687 "EHLO
	passion.cambridge.redhat.com") by vger.kernel.org with ESMTP
	id <S132584AbRDUMhI>; Sat, 21 Apr 2001 08:37:08 -0400
X-Mailer: exmh version 2.3 01/15/2001 with nmh-1.0.4
From: David Woodhouse <dwmw2@infradead.org>
X-Accept-Language: en_GB
In-Reply-To: <20010420203700.E21392@thyrsus.com> 
In-Reply-To: <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: linux-kernel-owner@vger.kernel.org
X-Mailing-List: linux-kernel@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


-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/