From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 ; Sat, 21 Apr 2001 06:37:10 -0600 (MDT) From: David Woodhouse In-Reply-To: <20010420203700.E21392@thyrsus.com> References: <20010420203700.E21392@thyrsus.com> <20010420173514.A21392@thyrsus.com> To: esr@thyrsus.com Cc: Alan Cox , Nicolas Pitre , Tom Rini , "Albert D. Cahalan" , Matthew Wilcox , james rich , lkml , 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 List-ID: 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 From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id ; Sat, 21 Apr 2001 08:37:27 -0400 Received: (majordomo@vger.kernel.org) by vger.kernel.org id ; 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 ; 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 X-Accept-Language: en_GB In-Reply-To: <20010420203700.E21392@thyrsus.com> In-Reply-To: <20010420203700.E21392@thyrsus.com> <20010420173514.A21392@thyrsus.com> To: esr@thyrsus.com Cc: Alan Cox , Nicolas Pitre , Tom Rini , "Albert D. Cahalan" , Matthew Wilcox , james rich , lkml , 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