Richard,
Right, but I was thinking about the debate between
"nominal/non-parametric-by-default" or
"representational/parametric-by-default" for parameters of data types
that aren't forced to nominal from inspecting the datatype
implementation. As I understand it, representational-by-default
(curr
Hi Dominique,
When implementing roles, I was indeed worried about the problem you're
addressing: that code that previously worked with GND now won't. However, it
turns out that few people have really complained about this. IIRC, in all of
Hackage, only 3 packages needed to be changed because of
| If I've understood #8736 correctly, GHCi on Windows can't load modules
| that
| were compiled with --dynamic-too. That's a pretty nasty regression, as
| --dynamic-too will now be the default for anything used by TH.
Well, five weeks ago we marked the ticket as "not a release blocker". No one
c