> On Mar 29, 2017, at 2:31 PM, Ben Gamari wrote:
>
> Hi Richard,
>
> It took me a bit longer than expected to get back to D3316 but I think I
> am now done. It wasn't quite as trivial as I thought it might be, so I
> thought I would summarize what was needed,
>
> 1.
Hi Richard,
It took me a bit longer than expected to get back to D3316 but I think I
am now done. It wasn't quite as trivial as I thought it might be, so I
thought I would summarize what was needed,
1. tcSplitTyConApp_maybe and tcRepSplitTyConApp_maybe have been moved
from TcType to Type to