module DepthAnalysis.Plugin where

import DepthAnalysis.Plugin.Pass

import GHCPlugins

import System.IO


plugin :: Plugin
plugin = defaultPlugin {
    installCoreToDos = install
  }

install :: [CommandLineOption] -> [CoreToDo] -> CoreM [CoreToDo]
install _options todos = do
    liftIO $ hPutStrLn stdout "getPluginPasses" >> hFlush stdout
    return $ CoreDoPluginPass "Add depth analysis" (ModGutsToModGutsPluginPass addDepthAnalysisToProgram) : todos