> On Aug 11, 2020, at 6:43 PM, Brian Goetz <[email protected]> wrote: > > Let's assume that your trick works fine, Remi is happy, and `default P` means > that P is total, that the switch is total, everything. Great.
Yes, if people will stand for it, “default P” is certainly an improvement over “default case P”, and a better word choice than “finally”. And it avoids the ticklish one-colon difference to which I had alluded. —Guy
