> From: "Brian Goetz" <[email protected]> > To: "Remi Forax" <[email protected]> > Cc: "amber-spec-experts" <[email protected]> > 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
