On 15/01/2012, Ian Lynagh <ig...@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. >From section "Representation hiding": "it would require a new implementation mechanism [sic] to record exactly which instances were exported from a module" Win. > > Thanks > Ian > > > _______________________________________________ > Glasgow-haskell-users mailing list > Glasgow-haskell-users@haskell.org > http://www.haskell.org/mailman/listinfo/glasgow-haskell-users > Cheers, MFD _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users