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

Safe HaskellNone
LanguageHaskell2010

HERMIT.Plugin.Builder

Contents

Synopsis

The HERMIT Plugin

type PluginPass = PhaseInfo -> [CommandLineOption] -> ModGuts -> CoreM ModGuts Source

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

buildPlugin :: PluginPass -> Plugin Source

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

getPhaseFlag :: [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