diff options
Diffstat (limited to 'compiler/typecheck/TcHoleErrors.hs-boot')
| -rw-r--r-- | compiler/typecheck/TcHoleErrors.hs-boot | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/compiler/typecheck/TcHoleErrors.hs-boot b/compiler/typecheck/TcHoleErrors.hs-boot deleted file mode 100644 index 9c5df86489..0000000000 --- a/compiler/typecheck/TcHoleErrors.hs-boot +++ /dev/null @@ -1,13 +0,0 @@ --- This boot file is in place to break the loop where: --- + TcSimplify calls 'TcErrors.reportUnsolved', --- + which calls 'TcHoleErrors.findValidHoleFits` --- + which calls 'TcSimplify.simpl_top' -module TcHoleErrors where - -import TcRnTypes ( TcM ) -import Constraint ( Ct, Implication ) -import Outputable ( SDoc ) -import GHC.Types.Var.Env ( TidyEnv ) - -findValidHoleFits :: TidyEnv -> [Implication] -> [Ct] -> Ct - -> TcM (TidyEnv, SDoc) |