[ANNOUNCE] GHC 8.2.2 release candidate 1
ben at smart-cactus.org
Mon Oct 2 02:08:53 UTC 2017
On October 1, 2017 9:29:16 PM EDT, Ryan Scott <ryan.gl.scott at gmail.com> wrote:
>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
>> > 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 (a :: k). ...` no longer compile without enabling
>> > I only mention this because the migration guide for 8.4 
>> > the impression that this TypeInType change won't land until GHC
>> > doesn't appear to be case, though!
>> It sounds like you are describing #13391. If this is the case then
>> rather confused since I didn't merge the associated patch. Something
>> else must be going on here. Perhaps some other patch made the checks
>> bit more strict inadvertently?
>> - Ben
Ahh, good catch. Perhaps we should revert in this case.
More information about the ghc-devs