Commit 3e884d14 authored by Jan Hrček's avatar Jan Hrček

Rename TcHoleErrors to GHC.Tc.Errors.Hole

parent 56a9e95f
Pipeline #21061 failed with stages
in 809 minutes
......@@ -937,7 +937,7 @@ at error generation.
Where ``fromPureHFPlugin :: HoleFitPlugin -> HoleFitPluginR`` is a convenience
function provided in the ``TcHoleErrors`` module, for defining plugins that do
function provided in the ``GHC.Tc.Errors.Hole`` module, for defining plugins that do
not require internal state.
......@@ -986,7 +986,7 @@ spent on searching for valid hole fits, after which new searches are aborted.
import GHC.Plugins hiding ((<>))
import TcHoleErrors
import GHC.Tc.Errors.Hole
import Data.List (stripPrefix, sortOn)
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment