Exploring inference for sealed types

Brian Goetz brian.goetz at oracle.com
Tue Oct 1 20:20:17 UTC 2019


Having received no further feedback, I'm inclined to proceed on 
Baseline+A+B.

On 9/24/2019 2:34 PM, Brian Goetz wrote:
>
> So my suggestion is to start with Baseline + (A | A&B), limiting 
> inference to permits clauses, and see if that is enough. 



More information about the amber-spec-experts mailing list