ghc-7.0.2: The GHC API