Re: Should records be able to mimic primitive types?

[Stefan Monnier]

>> - no benefit since this doesn't catch a common situation.
> Catching uncommon situation is precisely the point of precondition
> checking.

I'm talking about "common" within erroneous situations.

There is an endless supply of erroneous situations: we only bother to
try and detect those that are serious (e.g. could cause a memory
corruption) or frequent/common.

I've never seen this kind of error in the wild, so I doubt it would
*ever* prove useful to someone.


        Stefan