SSTG-0.1.0.5: STG Symbolic Execution

Safe HaskellNone
LanguageHaskell2010

SSTG.Core.Translation.Haskell

Description

Haskell Translation Extracts SSTG from Haskell source.

Synopsis

Documentation

mkCompileClosure :: FilePath -> FilePath -> IO ([(ModSummary, ModGuts)], DynFlags, HscEnv) Source #

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

mkTargetBindings :: FilePath -> FilePath -> IO [Binding] Source #

Make Target Bindings Given project directory and source target, make binds, with dependencies.

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

Make IO String from Outputable