Re: Backward-compatible role annotations

2014-03-31 Thread Dominique Devriese
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

Re: Backward-compatible role annotations

2014-03-31 Thread Richard Eisenberg
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

RE: Gearing up (again) for the next release: 2014.2.0.0

2014-03-31 Thread Simon Peyton Jones
| 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