SSTG-0.1.0.6: STG Symbolic Execution

Safe HaskellNone
LanguageHaskell2010

SSTG.Core.Translation.Haskell

Description

Haskell Translation

Synopsis

Documentation

mkCompileClosure :: FilePath -> FilePath -> IO ([(ModSummary, ModGuts)], DynFlags, HscEnv) 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.

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

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

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

Make IO String from Outputable.