Re: Overloaded record fields: we ought to change the name of FldTy

On Wed, Apr 30, 2014 at 5:22 PM, Adam Gundry wrote:

If possible, I'd prefer to merge the existing patches more or less as is, then I can work on the library design without continually needing to fix merge conflicts.

Agreed. We should try to get the patches in sooner rather than later to avoid extra work for you and allow people to try the feature.