On 2022-01-25T19:46:09 +0000 Brian Goetz <brian.go...@oracle.com> wrote:
> We’ve previewed patterns in switch for two rounds, and have received some > feedback. Overall, things work quite well, but there were a few items which > received some nontrivial feedback, and I’m prepared to suggest some changes > based on them. I’ll summarize them here and create a new thread for each > with a more detailed description. > > I’ll make a call for additional items a little later; for now, let’s focus on > these items before adding new things (or reopening old ones.) > > 1. Treatment of total patterns in switch / instanceof > > 2. Positioning of guards > > 3. Type refinements for GADTs > > 4. Diamond for type patterns (and record patterns) Hello! I'm a little late to the party, as ever, but is there a specific build I should be looking at so that I can get a better idea of what the current state of things are? -- Mark Raynsford | https://www.io7m.com