Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!uwm.edu!linac!att!ucbvax!dog.ee.lbl.gov!elf.ee.lbl.gov!torek
From: torek@elf.ee.lbl.gov (Chris Torek)
Newsgroups: comp.lang.c
Subject: Re: lint (was: Funny mistake)
Message-ID: <11508@dog.ee.lbl.gov>
Date: 27 Mar 91 10:02:03 GMT
References: <13619@helios.TAMU.EDU> <13627@helios.TAMU.EDU> <3433@inews.intel.com> <5069@goanna.cs.rmit.oz.au>
Reply-To: torek@elf.ee.lbl.gov (Chris Torek)
Organization: Lawrence Berkeley Laboratory, Berkeley
Lines: 11
X-Local-Date: Wed, 27 Mar 91 02:02:03 PST

In article <5069@goanna.cs.rmit.oz.au> ok@goanna.cs.rmit.oz.au
(Richard A. O'Keefe) writes:
>... my point was solely concerned with cross-module consistency checks.

Of course, a compilation system *could* write all the type information
to its intermediate files and have the resolver (`linker'/`binder'/
whatever you want to call it) verify it.  It is just a Small Matter
of Programming.... :-)
-- 
In-Real-Life: Chris Torek, Lawrence Berkeley Lab CSE/EE (+1 415 486 5427)
Berkeley, CA		Domain:	torek@ee.lbl.gov