New feature: Generalized algebraic datatypes (GADTs)
This release comes with version 1.0 of the
stm library, the first appearance of software transactional memory (STM) as described in Composable memory transactions.
- Declaration type signatures that use the forall keyword can now bind type variables over the scope of the corresponding definition.
This is the first version of GHC to include Cabal.Cabal in GHC 6.4
LANGUAGEpragma originates from Cabal,List of language extensions supported by Cabal as of GHC 6.4 with the documentation noting that “GHC doesn’t support the LANGUAGE pragma yet.” The
LANGUAGEpragma will be supported by GHC 6.6.
- This is when packagesPackages in GHC 6.4 begin to have version numbers. The version of
basein this release is 1.0.
OPTIONS pragma was renamed to
- The API moved from the
haskell-srcpackage into a new package called
Language.Haskell.THSyntaxmoduleLanguage.Haskell.TH.Syntax in GHC 6.4 was renamed to