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 

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