New language extensions:
This GHC version corresponds to
- Some constraints in
Control.Monadforever in base-4.9 were generalized from
Applicative, taking advantage of the recent decision to make
Applicativea superclass of
Monadin GHC 7.10.
Data.Semigroupmodules, previously available in a package called
semigroups, are now incorporated into the
Semigroupwill later be made a superclass of
Monoidand added to
Preludein GHC 8.4.
- Added the
TypeErrorclassCustom compile-time errors in GHC 8.0 which makes it possible to define custom error messages for when compilation fails due to a missing typeclass instance.