Records in Haskell

[Matthew Farkas-Dyck]

On 15/01/2012, Ian Lynagh <igloo at earth.li> wrote:
> On Sun, Jan 15, 2012 at 01:38:20PM +0100, Greg Weber wrote:
>> >
>> > The blocking issues are described on
>> >  http://hackage.haskell.org/trac/ghc/wiki/Records/OverloadedRecordFields
>> >
>> >  a) "Representation hiding" (look for that heading)
>
> How about
>
> http://hackage.haskell.org/trac/ghc/wiki/Records/OverloadedRecordFields#ScopecontrolbygeneralisingtheStringtypeinHas
>
> for resolving this?
>

(I also posted a like comment to the wiki.)

In my opinion, this is ugly, since the selector can be either a type
name or a label and the semantics are nonsame.