ghc-7.4.2: The GHC API