Fixing C's Biggest Mistake

[Timon Gehr]

On 12/31/22 15:41, Timon Gehr wrote:
> 
> I was talking about _failure_. You then started talking about pattern 
> matching. I don't want to contest that pattern matching happens at 
> runtime. Not at all. But it's just not the check we had been talking 
> about...

My point has always been that with pattern matching, the exhaustiveness 
check is (ideally) at compile time. The check of the tag is at runtime. 
We are currently discussing the exhaustiveness check.