-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Compiler for a supercombinator language
--   
--   Epic is a simple functional language which compiles to reasonably
--   efficient C code, using the Boehm-Demers-Weiser garbage collector. It
--   is currently used as a back end for the Idris dependently typed
--   programming language. It is invoked as a library, as it is intended as
--   a compiler back end.
@package epic
@version 0.1.2


-- | Public interface for Epigram Supercombinator Compiler
module Epic.Compiler

-- | (Debugging) options to give to compiler
data CompileOptions

-- | Keep intermediate C file
KeepC :: CompileOptions

-- | Generate trace at run-time (debug)
Trace :: CompileOptions

-- | Show generated code
ShowBytecode :: CompileOptions

-- | Show parse tree
ShowParseTree :: CompileOptions

-- | Extra GCC option
GCCOpt :: String -> CompileOptions

-- | Compile a source file in supercombinator language to a .o
compile :: FilePath -> FilePath -> Maybe FilePath -> IO ()
compileOpts :: FilePath -> FilePath -> Maybe FilePath -> [CompileOptions] -> IO ()

-- | Link a collection of .o files into an executable
link :: [FilePath] -> [FilePath] -> FilePath -> IO ()
instance [overlap ok] Eq CompileOptions