[External] : Re: Remainder in pattern matching

[forax at univ-mlv.fr]

> From: "Brian Goetz" <brian.goetz at oracle.com>
> To: "Remi Forax" <forax at univ-mlv.fr>
> Cc: "amber-spec-experts" <amber-spec-experts at openjdk.java.net>
> Sent: Wednesday, March 30, 2022 8:35:17 PM
> Subject: Re: [External] : Re: Remainder in pattern matching

>> It seems that what you are saying is that you think an Exception is better than
>> an Error.

> Not exactly; what I'm saying is that the attempt to separate stray nulls from
> separate compilation issues here seems like a heroic effort for low value, and
> I'd rather have one channel for "exhaustiveness failure" and let
> implementations decide how heroic they want to get in sorting out the possible
> causes.
NPE is a developer issue, separate compilation failure/ICCE is a deployment issue, there is no point to have one channel. 

Rémi 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.java.net/pipermail/amber-spec-experts/attachments/20220330/070697c3/attachment.htm>