April 2014GHC 7.8.1Mailing list: GHC 7.8.1 releasedRelease notes for GHC 7.8.1
New language extensions:
Changes regarding the
- There is a new language extension,Automatically deriving Typeable instances in GHC 7.8
AutoDeriveTypeable, which instructs the compiler to automatically generate an instance of the
Typeableclass for every type. This extension flag will quickly become irrelevant in GHC 7.10 when auto-deriving becomes the default behavior.
Typeableinstances are no longer permitted.
Typeablecan still be derived with the
GHCi now disables the monomorphism restriction by default.
Changes to generalized newtype deriving:
- It is now based on the new Coercible class.
- The notion of roles is introduced.Roles in GHC 7.8
- These changes will be described in Safe, zero-cost coercions for Haskell.
This GHC version corresponds to
base version 18.104.22.168.base-22.214.171.124
Data.Bool.bool :: a -> a -> Bool -> a, the catamorphism for