summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcPatSyn.hs-boot
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/typecheck/TcPatSyn.hs-boot')
-rw-r--r--compiler/typecheck/TcPatSyn.hs-boot10
1 files changed, 3 insertions, 7 deletions
diff --git a/compiler/typecheck/TcPatSyn.hs-boot b/compiler/typecheck/TcPatSyn.hs-boot
index 583abc11c2..18914bc2ec 100644
--- a/compiler/typecheck/TcPatSyn.hs-boot
+++ b/compiler/typecheck/TcPatSyn.hs-boot
@@ -2,14 +2,11 @@ module TcPatSyn where
import Name ( Name )
import Id ( Id )
-import HsSyn ( PatSynBind, LHsBinds, LHsSigType )
-import TcRnTypes ( TcM, TcSigFun, TcPatSynInfo )
+import HsSyn ( PatSynBind, LHsBinds )
+import TcRnTypes ( TcM, TcPatSynInfo )
import TcRnMonad ( TcGblEnv)
import Outputable ( Outputable )
-tcPatSynSig :: Name -> LHsSigType Name
- -> TcM TcPatSynInfo
-
tcInferPatSynDecl :: PatSynBind Name Name
-> TcM (LHsBinds Id, TcGblEnv)
@@ -17,7 +14,6 @@ tcCheckPatSynDecl :: PatSynBind Name Name
-> TcPatSynInfo
-> TcM (LHsBinds Id, TcGblEnv)
-tcPatSynBuilderBind :: TcSigFun -> PatSynBind Name Name
- -> TcM (LHsBinds Id)
+tcPatSynBuilderBind :: PatSynBind Name Name -> TcM (LHsBinds Id)
nonBidirectionalErr :: Outputable name => name -> TcM a