GHC 6.4
March 2005GHC 6.4Mailing list: GHC 6.4 releasedRelease notes for GHC 6.4
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.
This version expands upon the scoped type variablesScoped type variables in GHC 6.4 feature previously introduced in GHC 4.02.
- 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
- The
LANGUAGE
pragma 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.” TheLANGUAGE
pragma will be supported by GHC 6.6. - This is when packagesPackages in GHC 6.4 begin to have version numbers. The version of
base
in this release is 1.0.
The OPTIONS
pragma was renamed to OPTIONS_GHC
.
Changes to Template Haskell (first introduced in GHC 6.0):
- The API moved from the
haskell-src
package into a new package calledtemplate-haskell
. - The
Language.Haskell.THSyntax
moduleLanguage.Haskell.TH.Syntax in GHC 6.4 was renamed toLanguage.Haskell.TH.Syntax
.