diff options
Diffstat (limited to 'compiler/typecheck/TcSimplify.hs-boot')
| -rw-r--r-- | compiler/typecheck/TcSimplify.hs-boot | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/compiler/typecheck/TcSimplify.hs-boot b/compiler/typecheck/TcSimplify.hs-boot deleted file mode 100644 index 6455a73b6a..0000000000 --- a/compiler/typecheck/TcSimplify.hs-boot +++ /dev/null @@ -1,11 +0,0 @@ -module TcSimplify where - -import GhcPrelude -import TcRnTypes ( TcM, Cts ) -import TcType ( TcSigmaType ) - --- This boot file exists solely to make tcCheckHoleFit and tcSubsumes avaialble --- in TcErrors - -tcSubsumes :: TcSigmaType -> TcSigmaType -> TcM Bool -tcCheckHoleFit :: Cts -> TcSigmaType -> TcSigmaType -> TcM Bool |