module Undefined.Init.Plugin (plugin) where import GHC.Corroborate import NoOp.Plugin (undefInit, mkPureTcPlugin) plugin :: Plugin plugin :: Plugin plugin = TcPlugin -> Plugin mkPureTcPlugin TcPlugin undefInit