SSTG-0.1.1.3: STG Symbolic Execution

Safe HaskellNone
LanguageHaskell2010

SSTG.Core.Translation.Haskell

Description

Haskell Translation

Synopsis

Documentation

type CompileClosure = ([(ModSummary, ModGuts)], DynFlags, HscEnv) Source #

Compilation closure type.

mkCompileClosure :: FilePath -> FilePath -> IO CompileClosure Source #

Captures a snapshot of the DynFlags and HscEnv in addition to the ModGuts in the ModuleGraph. This allows compilation to be, in theory, more portable across different applications, since ModGuts is a crucial intermediary for compilation in general.

mkTargetBinds :: FilePath -> FilePath -> IO [Bind] Source #

Given the project directory and the source file path, compiles the ModuleGraph and translates it into a SSTG Binds.

mkIOString :: Outputable a => a -> IO String Source #

Make IO String from Outputable.