Expression switch exception naming

Mark Raynsford mark at
Fri Mar 30 20:33:42 UTC 2018

On 2018-03-30T16:17:35 -0400
Brian Goetz <brian.goetz at> wrote:
> OK, we have a terminology confusion over the term "exhaustiveness 
> checking."

Got it, I'm up to speed!

> But, your point is taken; *not* having a default in a situation that 
> requires exhaustiveness acts as a type-check on that exhaustiveness, and 
> saying default will then cover up any sins.  I get it.

Yep, that's the bit I'd hate to lose (not that I actually have it right
now :]).

Mark Raynsford |

More information about the amber-spec-experts mailing list