Re: Magic classes for Overloaded Record Fields, overlaps, FunDeps

> > On 26/04/16 09:20, AntC wrote: > > There's an intriguing comment here wrt anonymous records: ... > > I'm afraid the sentence on the wiki page is slightly misleading, ... > with the change to functional dependencies, > the overlapping instances solution works rather nicely, > in that it works

Re: Magic classes for Overloaded Record Fields, overlaps, FunDeps

Hi AntC, On 26/04/16 09:20, AntC wrote: > There's an intriguing comment here wrt anonymous records: > https://ghc.haskell.org/trac/ghc/wiki/Records/OverloadedRecordFields/ > MagicClasses#Designextension:anonymousrecords > (End of the section) > > "... this doesn't quite work, because the two inst

Magic classes for Overloaded Record Fields, overlaps, FunDeps

There's an intriguing comment here wrt anonymous records: https://ghc.haskell.org/trac/ghc/wiki/Records/OverloadedRecordFields/ MagicClasses#Designextension:anonymousrecords (End of the section) "... this doesn't quite work, because the two instances overlap, but it is possible with a bit more tr