On 15/01/2012, Ian Lynagh
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#Scop...
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