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 m...@joachim-breitner.de • http://www.joachim-breitner.de/ Jabber: nome...@joachim-breitner.de • GPG-Key: 0x4743206C Debian Developer: nome...@debian.org
signature.asc
Description: This is a digitally signed message part
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs
