hermit-1.0.0.0: Haskell Equational Reasoning Model-to-Implementation Tunnel

Safe HaskellNone
LanguageHaskell2010

HERMIT.Plugin.Builder

Contents

Synopsis

The HERMIT Plugin

type HERMITPass = IORef (Maybe (AST, ASTMap)) -> PassInfo -> [CommandLineOption] -> ModGuts -> CoreM ModGuts Source

Given a list of CommandLineOptions, produce the ModGuts to ModGuts function required to build a plugin.

buildPlugin :: HERMITPass -> Plugin Source

Build a plugin. This mainly handles the per-module options.

getPassFlag :: [CommandLineOption] -> Maybe (Int, [CommandLineOption]) Source

If HERMIT user specifies the -pN flag, get the N TODO: as written will discard other flags that start with -p