hermit- Haskell Equational Reasoning Model-to-Implementation Tunnel

Safe HaskellNone




The HERMIT Plugin

type HermitPass = PhaseInfo -> [CommandLineOption] -> ModGuts -> CoreM ModGutsSource

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

hermitPlugin :: HermitPass -> PluginSource

Build a hermit 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