Skip to content

Update sbv & singletons for GHC MR !11112

sheaf requested to merge sheaf/head.hackage:ghc-11112 into master

GHC MR !11112 makes it so that one needs to enable the (new in GHC 9.8) TypeAbstractions extension in order to use type applications in constructor patterns. The old behaviour (ScopedTypeVariables + TypeApplications) is still supported, but it emits a warning, which caused sbv to fail to build due to -Werror.

In addition, the changes in GHC MR !11112 mean that the use of invisible binders in type declarations requires the TypeAbstractions extension to be enabled. This requires a change to the singletons package.

Merge request reports