testsuite/tests/ghci/should_run/tc-plugin-ghci/TcPluginGHCi.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

module TcPluginGHCi where

import GHC.Tc.Utils.Monad ( TcPlugin(..), TcPluginSolveResult(..), TcPluginRewriteResult(..) )
import GHC.Driver.Plugins ( defaultPlugin, Plugin(..), CommandLineOption )
import GHC.Types.Unique.FM ( emptyUFM )
import Debug.Trace

plugin :: Plugin
plugin = defaultPlugin { tcPlugin = Just . thePlugin }

thePlugin :: [CommandLineOption] -> TcPlugin
thePlugin opts = TcPlugin
  { tcPluginInit    = trace "TcPluginGHCi" (return ())
  , tcPluginSolve   = \_ _ _ _ -> return $ TcPluginOk [] []
  , tcPluginRewrite = \_ -> emptyUFM
  , tcPluginStop    = \_ -> return ()
  }