Skip to content

Remove extension implication ScopedTypeVariables => TypeAbstractions

sheaf requested to merge sheaf/ghc:T23776 into master

This MR implements amendment 604 to GHC proposal 448 by removing the implication of language extensions

ScopedTypeVariables => TypeAbstractions

To limit breakage, we now allow type arguments in constructor patterns when both ScopedTypeVariables and TypeApplications are enabled, but we emit a warning notifying the user that this is deprecated behaviour that will go away starting in GHC 9.12.

Fixes #23776 (closed)

Merge request reports