GHC 7.10.1

March 2015GHC 7.10.1Mailing list: GHC 7.10.1 releasedRelease notes for GHC 7.10.1

In a wholehearted embrace of applicative functors and related classes, there were significant changes to the base library:

• Applicative is now included in the Prelude module, and it is nowMonad in GHC 7.10 a superclass of Monad.Commit making Applicative a superclass of Monad
• Foldable and Traversable are now included in the Prelude module.Foldable/Traversable in Prelude Many list functions in Prelude were replaced with more generic Foldable variants. For example, the type of length changed from [a] -> Int to Foldable t => t a -> Int. This change was referred to in discussions as "Foldable/Traversable in Prelude" (abbreviated as "FTP").

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

Some other changes to base:

• Bifunctor,Bifunctor in GHC 7.10 previously available from the bifunctors package, is now included in base.
• The Void type is now defined in base.Void in GHC 7.10
• The toIntegralSized functiontoIntegralSized in GHC 7.10 is added to the Data.Bits module, permitting more efficient safe integer conversion.

New language extensions:

• BinaryLiterals
• DeriveAnyClass
• NamedWildCards
• PartialTypeSignatures
• StaticPointers

The Typeable class is now derived for all types by default.

• Deriving declarations for Typeable are still permitted, but they have no effect.Deriving Typeable in GHC 7.10
• All mention of the AutoDeriveTypeable extension disappears from the GHC User’s Guide.