Re: D3316 status

> 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.

D3316 status

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