Re: Debugging inside the typechecker knot

On Aug 4, 2017, at 12:43 PM, Ryan Scott wrote:

Maybe I could start by trying to produce HsType in that particular spot in the code (or does this need to be done all at once?).

I don't know. I haven't looked into this at all, really. Any light you can shed will be helpful.