Re: OverloadedRecordFields status update

On 06/09/13 17:45, Gabor Greif wrote:

On 9/5/13, Adam Gundry wrote:

...

I have been working on a new extension, OverloadedRecordFields, and it is now essentially feature-complete. Unfortunately, I doubt it will make it into 7.8, as the changes are quite extensive, but I hope to get it in HEAD soon thereafter.

That would be great, it appears to be a great example of -XConstraintKinds, too!

It relies quite heavily on type-level strings (-XDataKinds), if that's what you mean?

...

I would really appreciate comments on the design [1], for which there is

How would such a feature interact with http://hackage.haskell.org/package/vinyl ?

The short answer is that it shouldn't. Vinyl (which I wasn't aware of before now, thanks for the pointer!) basically replaces the Haskell records system wholesale, making records entirely separate from data declarations, and turning fields into first-class objects. This should peaceably coexist with -XOverloadedRecordFields but I don't see a way to integrate the two. Adam

Gabor

...

a prototype implementation [2] that works in GHC 7.6.3. If you'd like to review the code, you can check out the overloaded-record-fields branch from the Github repositories [3, 4], and there are notes on the implementation on the wiki [5].

Thanks!

Adam

[1] http://ghc.haskell.org/trac/ghc/wiki/Records/OverloadedRecordFields/Plan [2] https://github.com/adamgundry/records-prototype [3] https://github.com/adamgundry/ghc [4] https://github.com/adamgundry/packages-base [5] http://ghc.haskell.org/trac/ghc/wiki/Records/OverloadedRecordFields/Implemen...