Personal tools

GHC/As a library

From HaskellWiki

< GHC(Difference between revisions)
Jump to: navigation, search
m
(Change defaultDynFlags to defaultLogAction so the examples type check and work)
(8 intermediate revisions by 5 users not shown)
Line 26: Line 26:
 
import GHC
 
import GHC
 
import GHC.Paths ( libdir )
 
import GHC.Paths ( libdir )
import DynFlags ( defaultDynFlags )
+
import DynFlags ( defaultLogAction )
   
 
main =
 
main =
defaultErrorHandler defaultDynFlags $ do
+
defaultErrorHandler defaultLogAction $ do
 
runGhc (Just libdir) $ do
 
runGhc (Just libdir) $ do
 
dflags <- getSessionDynFlags
 
dflags <- getSessionDynFlags
Line 46: Line 46:
 
== Another example ==
 
== Another example ==
   
Here we demonstrate calling parseModule, typecheckModule, desugarModule, getNamesInScope, and getModuleGraph. This works for haskell-platform, ghc-6.12.1.
+
Here we demonstrate calling [http://www.haskell.org/ghc/docs/latest/html/libraries/ghc/GHC.html#v:parseModule parseModule], [http://www.haskell.org/ghc/docs/latest/html/libraries/ghc/GHC.html#v:typecheckModule typecheckModule], [http://www.haskell.org/ghc/docs/latest/html/libraries/ghc/GHC.html#v:desugarModule desugarModule], [http://www.haskell.org/ghc/docs/latest/html/libraries/ghc/GHC.html#v:getNamesInScope getNamesInScope], and [http://www.haskell.org/ghc/docs/latest/html/libraries/ghc/GHC.html#v:getModuleGraph getModuleGraph]. This works for haskell-platform, ghc-7.0.3. It also demonstrates how to enable some extensions.
 
bugs: libdir is hardcoded. See ghc-paths above.
 
   
 
<haskell>
 
<haskell>
Line 55: Line 55:
 
import Outputable
 
import Outputable
   
--import GHC.Paths ( libdir )
+
import GHC.Paths ( libdir )
import DynFlags ( defaultDynFlags )
+
--GHC.Paths is available via cabal install ghc-paths
libdir = "/usr/local/lib/ghc-6.12.1"
+
  +
import DynFlags
 
targetFile = "B.hs"
 
targetFile = "B.hs"
   
 
main = do
 
main = do
 
res <- example
 
res <- example
print $ showSDoc ( ppr res )
+
putStrLn $ showSDoc ( ppr res )
   
 
example =
 
example =
defaultErrorHandler defaultDynFlags $ do
+
defaultErrorHandler defaultLogAction $ do
 
runGhc (Just libdir) $ do
 
runGhc (Just libdir) $ do
 
dflags <- getSessionDynFlags
 
dflags <- getSessionDynFlags
setSessionDynFlags dflags
+
let dflags' = foldl xopt_set dflags
  +
[Opt_Cpp, Opt_ImplicitPrelude, Opt_MagicHash]
  +
setSessionDynFlags dflags'
 
target <- guessTarget targetFile Nothing
 
target <- guessTarget targetFile Nothing
 
setTargets [target]
 
setTargets [target]
Line 92: Line 92:
   
 
</haskell>
 
</haskell>
  +
  +
== Links ==
  +
  +
* [http://www.haskell.org/ghc/docs/latest/html/libraries/ghc/index.html GHC API haddock]
  +
* [http://mistuke.wordpress.com/category/vsx/ Great blog post] about using the GHC API to get "QuickInfo" in a Visual Studio binding for Haskell.

Revision as of 04:10, 3 November 2012

For instructions on the GHC API with GHC 6.8 or older please refer to GHC/As a library (up to 6.8)

Contents


1 Introduction

GHC's functionality can be useful for more things than just compiling Haskell programs. Important use cases are programs that analyse (and perhaps transform) Haskell code. Others include loading Haskell code dynamically in a GHCi-like manner. For this reason, a lot of GHC's features can be accessed by programs which import the ghc package.

The instructions on this page concern the API of GHC 6.10.1 and above. Please note that the GHC API is still in flux and may change quite significantly between major releases while we (the GHC team) provide new features or simplify certain aspects.


2 Getting Started

To use the GHC API you need GHC 6.10.1 or above and import the ghc package.

ghc -package ghc my_program.hs

In most cases you probably also want to use the ghc-paths package.

Most of the common functionality is provided by the GHC module, but occasionally you may have to import other modules. See the GHC's haddock documentation for a list of these modules. One good entry point into the docs is GHC.

3 A Simple Example

The following little program essentially does what ghc --make does.

import GHC
import GHC.Paths ( libdir )
import DynFlags ( defaultLogAction )
 
main = 
    defaultErrorHandler defaultLogAction $ do
      runGhc (Just libdir) $ do
        dflags <- getSessionDynFlags
        setSessionDynFlags dflags
        target <- guessTarget "test_main.hs" Nothing
        setTargets [target]
        load LoadAllTargets

The outermost function, defaultErrorHandler, sets up proper exception handlers and prints an error message and exits with exit code 1 if it encounters one of these exceptions.

Most of GHC's high-level API requires access to a current session. Therefore, these functions require to be called inside a monad that is an instance of the GhcMonad typeclass. Two default implementations of this typeclass are Ghc and GhcT. In the above example we used the Ghc monad since we don't need to track any extra state.

The argument to runGhc is a bit tricky. GHC needs this to find its libraries, so the argument must refer to the directory that is printed by ghc --print-libdir for the same version of GHC that the program is being compiled with. Above we therefore use the ghc-paths package which provides this for us.

4 Another example

Here we demonstrate calling parseModule, typecheckModule, desugarModule, getNamesInScope, and getModuleGraph. This works for haskell-platform, ghc-7.0.3. It also demonstrates how to enable some extensions.

--A.hs
--invoke: ghci -package ghc A.hs
 
import GHC
import Outputable
 
import GHC.Paths ( libdir )
--GHC.Paths is available via cabal install ghc-paths
 
import DynFlags
targetFile = "B.hs"
 
main = do
   res <- example
   putStrLn $ showSDoc ( ppr res )
 
example = 
    defaultErrorHandler defaultLogAction $ do
      runGhc (Just libdir) $ do
        dflags <- getSessionDynFlags
        let dflags' = foldl xopt_set dflags
                            [Opt_Cpp, Opt_ImplicitPrelude, Opt_MagicHash]
        setSessionDynFlags dflags'
        target <- guessTarget targetFile Nothing
        setTargets [target]
        load LoadAllTargets
        modSum <- getModSummary $ mkModuleName "B"
        p <- parseModule modSum
        t <- typecheckModule p
        d <- desugarModule t
        l <- loadModule d
        n <- getNamesInScope
        c <- return $ coreModule d
 
        g <- getModuleGraph
        mapM showModule g     
        return $ (parsedSource d,"/n-----/n",  typecheckedSource d)
--B.hs
module B where
 
main = print "Hello, World!"

5 Links