Re: [GHC] #15147: Type checker plugin receives Wanteds that are not completely unflattened

2018-06-11 Thread Nicolas Frisby
Whoops, I replied via email instead of commenting on the ticket. I've done so now. Sorry for the mailing list noise. On Mon, Jun 11, 2018, 08:21 Nicolas Frisby wrote: > That way of saying it clarifies the expectations for me. And doesn't seem > too burdensome for the plugin author. > > Thus I th

Re: [GHC] #15147: Type checker plugin receives Wanteds that are not completely unflattened

2018-06-11 Thread Nicolas Frisby
That way of saying it clarifies the expectations for me. And doesn't seem too burdensome for the plugin author. Thus I think this ticket could be resolved by updating the documentation. (Though I still would like for a plugin to be able to request the flattened Wanteds. Separate ticket?) In parti