Hi Simon, Joachim, and others,
I'm in the midst of reimplementing GeneralizedNewtypeDeriving in terms of
coerce. See #8503 for why I'm doing this. But, I've run up against a limitation
of Coercible I'd like to know more about. Currently, the stage2 compiler fails
to build because of the
: Richard Eisenberg [mailto:e...@cis.upenn.edu]
| Sent: 13 November 2013 20:16
| To: Simon Peyton-Jones; Joachim Breitner
| Cc: ghc-devs@haskell.org Devs
| Subject: restrictions on Coercible
|
| Hi Simon, Joachim, and others,
|
| I'm in the midst of reimplementing GeneralizedNewtypeDeriving in terms
...@cis.upenn.edu]
| Sent: 13 November 2013 20:16
| To: Simon Peyton-Jones; Joachim Breitner
| Cc: ghc-devs@haskell.org Devs
| Subject: restrictions on Coercible
|
| Hi Simon, Joachim, and others,
|
| I'm in the midst of reimplementing GeneralizedNewtypeDeriving in terms
| of coerce. See #8503 for why