small improvement to roles mechanism

Joachim Breitner mail at joachim-breitner.de
Wed Oct 16 18:16:11 UTC 2013


Hi,

Am Mittwoch, den 16.10.2013, 12:50 -0400 schrieb Edward Kmett:
> This does seem to me to have the ugly consequence of splitting the
> long term solutions for Coercible and GND, but I can fully understand
> the appeal of finally plugging the GND issue!

I don’t think the solutions are split up. Instead, they build upon each
other: GND coerces the fields of the dictionary (and not the class
itself) individually; this coercion is (or will be, or should, in any
case: can be) done using the Coercible machinery.

Greetings,
Joachim


-- 
Joachim “nomeata” Breitner
  mail at joachim-breitner.dehttp://www.joachim-breitner.de/
  Jabber: nomeata at joachim-breitner.de  • GPG-Key: 0x4743206C
  Debian Developer: nomeata at debian.org
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 198 bytes
Desc: This is a digitally signed message part
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20131016/1dc49bc7/attachment.sig>


More information about the ghc-devs mailing list