GHC 8.0.1

May 2016GHC 8.0.1Mailing list: GHC 8.0.1 releasedGHC blog: GHC 8.0.1 releasedRelease notes for GHC 8.0.1

New language extensions:

• ApplicativeDo
• DeriveLift
• DuplicateRecordFields
• TypeFamilyDependencies
• MonadFailDesugaring
• OverloadedLabels
• Strict
• StrictData
• TemplateHaskellQuotes
• TypeApplications — This motivated the addition of the :type +v GHCi command in GHC 8.2.
• TypeInType
• UndecidableSuperClasses

This GHC version corresponds to base version 4.9.0.0.base-4.9.0.0

• Some constraints in Control.Monadforever in base-4.9 were generalized from Monad to Applicative, taking advantage of the recent decision to make Applicative a superclass of Monad in GHC 7.10.
• The Data.List.NonEmpty and Data.Semigroup modules, previously available in a package called semigroups, are now incorporated into the base package. Semigroup will later be made a superclass of Monoid and added to Prelude in GHC 8.4.
• Added the TypeError classCustom 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.