2.1. Version 8.12.1

The significant changes to the various parts of the compiler are listed in the following sections.

2.1.1. Highlights

  • TODO

2.1.2. Full details Language

  • In obscure scenarios, GHC now rejects programs it previously accepted, but with unhelpful types. For example, if (with -XPartialTypeSignatures) you were to write x :: forall (f :: forall a (b :: a -> Type). b _). f _, GHC previously would have accepted x, but its type would have involved the mysterious Any internal type family. Now, GHC rejects, explaining the situation. Compiler GHCi Runtime system Template Haskell

  • Implement the Overloaded Quotations proposal (#246). The type of all quotation forms have now been generalised in terms of a minimal interface necessary for the implementation rather than the overapproximation of the Q monad.
  • Template Haskell quotes now handle fixity declarations in let and where bindings properly. Previously, such fixity declarations would be dropped when quoted due to a Template Haskell bug.
  • The -XTemplateHaskellQuotes extension now allows nested splices as nested splices do not lead directly to compile-time evaluation. (!2288) ghc-prim library ghc library

  • The type of the getAnnotations function has changed to better reflect the fact that it returns two different kinds of annotations, those on names and those on modules:

    getAnnotations :: Typeable a
                   => ([Word8] -> a) -> ModGuts
                   -> CoreM (ModuleEnv [a], NameEnv [a])
  • The meaning of the hs_fixds field of HsGroup has changed slightly. It now only contains fixity signatures defined for top-level declarations and class methods defined outside of the class itself. Previously, hs_fixds would also contain fixity signatures for class methods defined inside the class, such as the fixity signature for m in the following example:

    class C a where
      infixl 4 `m`
      m :: a -> a -> a

    If you wish to attain the previous behavior of hs_fixds, use the new hsGroupTopLevelFixitySigs function, which collects all top-level fixity signatures, including those for class methods defined inside classes. base library Build system

2.1.3. Included libraries

The package database provided with this distribution also contains a number of packages other than GHC itself. See the changelogs provided with these packages for further change information.

Package Version Reason for inclusion
ghc The compiler itself
Cabal Dependency of ghc-pkg utility
Win32 Dependency of ghc library
array Dependency of ghc library
base Core library
binary Dependency of ghc library
bytestring Dependency of ghc library
containers Dependency of ghc library
deepseq Dependency of ghc library
directory Dependency of ghc library
filepath Dependency of ghc library
ghc-boot-th Internal compiler library
ghc-boot Internal compiler library
ghc-compact Core library
ghc-heap GHC heap-walking library
ghc-prim 0.6.1 Core library
ghci The REPL interface
haskeline Dependency of ghci executable
hpc Dependency of hpc executable
integer-gmp Core library
libiserv Internal compiler library
mtl 2.2.2 Dependency of Cabal library
parsec Dependency of Cabal library
pretty Dependency of ghc library
process Dependency of ghc library
stm Dependency of haskeline library
template-haskell Core library
terminfo Dependency of haskeline library
text Dependency of Cabal library
time 1.9.3 Dependency of ghc library
transformers Dependency of ghc library
unix Dependency of ghc library
xhtml 3000.2.2.1 Dependency of haddock executable