lkml.org 
[lkml]   [1997]   [Jan]   [16]   [last100]   RSS Feed
Views: [more markup]  [less markup]  [headers]  [forward] 
 
Messages in this thread
/
DateThu, 16 Jan 1997 15:06:50 +0100 (MET)
FromHans Lermen <>
SubjectRe: 2.1.21 patches for a clean compile
On Thu, 16 Jan 1997, Christian Kirsch wrote:
>
> Alan Cox wrote:
> > 
> > I'm much more concerned about having _correct_ drivers than ones that happen
> > to compile. 
> 
> This is a very subtle and fine point that I'm probably not intelligent enough to understand: A
> driver that fails to compile but still works. Mut be something virtual ;-)

Alan is very good in saying 'all' with an absolute minimum of words. ;-)

  A driver that has been proven to be _correct_ implies beeing successfully 
  compiled. However, a driver that just successfully compiles does _not_ 
  imply beeing correct (though it may).

So, nothing 'virtual', just pure logic.

Hans
<lermen@fgan.de>


\
 
 \ /
  Last update: 2005-03-22 12:38    [W:0.063 / U:0.110 seconds]
©2003-2008 Jasper Spaans