[ANNOUNCE] GHC 8.2.2 release candidate 1
ryan.gl.scott at gmail.com
Mon Oct 2 01:29:16 UTC 2017
I would have guessed that it's actually due to #11963 , and
consequently, this  backported patch.
On Oct 1, 2017 21:19, "Ben Gamari" <ben at smart-cactus.org> wrote:
> Ryan Scott <ryan.gl.scott at gmail.com> writes:
> > I did a smoke test of Stackage Nightly's libraries  this afternoon
> > GHC 8.2.2. Only two libraries failed to build: extensible-0.4.5 and
> > protolude-0.2, due to a change where type signatures like `foo :: forall
> > forall (a :: k). ...` no longer compile without enabling TypeInType.
> > I only mention this because the migration guide for 8.4  currently
> > the impression that this TypeInType change won't land until GHC 8.4. This
> > doesn't appear to be case, though!
> It sounds like you are describing #13391. If this is the case then I'm
> rather confused since I didn't merge the associated patch. Something
> else must be going on here. Perhaps some other patch made the checks a
> bit more strict inadvertently?
> - Ben
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the ghc-devs