lint (was: Funny mistake)

[Chris Torek]

In article <5069 at goanna.cs.rmit.oz.au> ok at 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 at ee.lbl.gov