<div dir="auto">I would have guessed that it's actually due to #11963 [1], and consequently, this [2] backported patch.<div dir="auto"><br></div><div dir="auto">Ryan S.</div><div dir="auto">-----</div><div dir="auto">[1] <a href="https://ghc.haskell.org/trac/ghc/ticket/11963">https://ghc.haskell.org/trac/ghc/ticket/11963</a></div><div dir="auto">[2] <a href="http://git.haskell.org/ghc.git/commit/18dee8912f6afdcf13073d3d95d85513c14180e3">http://git.haskell.org/ghc.git/commit/18dee8912f6afdcf13073d3d95d85513c14180e3</a></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Oct 1, 2017 21:19, "Ben Gamari" <<a href="mailto:ben@smart-cactus.org">ben@smart-cactus.org</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Ryan Scott <<a href="mailto:ryan.gl.scott@gmail.com">ryan.gl.scott@gmail.com</a>> writes:<br>
<br>
> I did a smoke test of Stackage Nightly's libraries [1] this afternoon using<br>
> GHC 8.2.2. Only two libraries failed to build: extensible-0.4.5 and<br>
> protolude-0.2, due to a change where type signatures like `foo :: forall k.<br>
> forall (a :: k). ...` no longer compile without enabling TypeInType.<br>
><br>
> I only mention this because the migration guide for 8.4 [2] currently gives<br>
> the impression that this TypeInType change won't land until GHC 8.4. This<br>
> doesn't appear to be case, though!<br>
><br>
It sounds like you are describing #13391. If this is the case then I'm<br>
rather confused since I didn't merge the associated patch. Something<br>
else must be going on here. Perhaps some other patch made the checks a<br>
bit more strict inadvertently?<br>
<br>
Cheers,<br>
<br>
- Ben<br>
<br>
</blockquote></div></div>