diff options
Diffstat (limited to 'compiler/simplCore/CoreMonad.lhs')
| -rw-r--r-- | compiler/simplCore/CoreMonad.lhs | 27 |
1 files changed, 1 insertions, 26 deletions
diff --git a/compiler/simplCore/CoreMonad.lhs b/compiler/simplCore/CoreMonad.lhs index 0d41d5ef07..c175b07384 100644 --- a/compiler/simplCore/CoreMonad.lhs +++ b/compiler/simplCore/CoreMonad.lhs @@ -14,8 +14,7 @@ module CoreMonad ( pprPassDetails, -- * Plugins - PluginPass, Plugin(..), CommandLineOption, - defaultPlugin, bindsOnlyPass, + PluginPass, bindsOnlyPass, -- * Counting SimplCount, doSimplTick, doFreeSimplTick, simplCountN, @@ -478,30 +477,6 @@ to switch off those rules until after floating. %************************************************************************ \begin{code} --- | Command line options gathered from the -PModule.Name:stuff syntax are given to you as this type -type CommandLineOption = String - --- | 'Plugin' is the core compiler plugin data type. Try to avoid --- constructing one of these directly, and just modify some fields of --- 'defaultPlugin' instead: this is to try and preserve source-code --- compatability when we add fields to this. --- --- Nonetheless, this API is preliminary and highly likely to change in the future. -data Plugin = Plugin { - installCoreToDos :: [CommandLineOption] -> [CoreToDo] -> CoreM [CoreToDo] - -- ^ Modify the Core pipeline that will be used for compilation. - -- This is called as the Core pipeline is built for every module - -- being compiled, and plugins get the opportunity to modify - -- the pipeline in a nondeterministic order. - } - --- | Default plugin: does nothing at all! For compatability reasons you should base all your --- plugin definitions on this default value. -defaultPlugin :: Plugin -defaultPlugin = Plugin { - installCoreToDos = const return - } - -- | A description of the plugin pass itself type PluginPass = ModGuts -> CoreM ModGuts |