On Wed, 05 May 2004 01:28:49 +0000, Chuck Silvers wrote:

> it's be really neat if there was a way to get the compiler (or lint) to
> treat different typedefs as incompatible types even if they map to the
> same underlying type.  that way we could catch subtle bugs like a value
> in units of sectors is used in a context where the value is expect to have
> units of fs blocks.  or it could catch confusion between vaddr_t and paddr_t.
> I haven't heard of anything that does that though.

Ada? :-)