SSTG-0.1.1.6: 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.

mkTargetBindss :: FilePath -> FilePath -> IO [Binds] Source #

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

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

Make IO String from Outputable.