OverloadedRecordFields status update

[Gabor Greif]

On 9/5/13, Adam Gundry <adam.gundry at strath.ac.uk> wrote:
> Hi ghc-devs,
>
> 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!

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

    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/Implementation
>
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://www.haskell.org/mailman/listinfo/ghc-devs
>