blob: 3538682f6952bd5cc48b2477c3f6cb0b9e113d6a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
module TcPatSyn where
import HsSyn ( PatSynBind, LHsBinds )
import TcRnTypes ( TcM, TcSigInfo )
import TcRnMonad ( TcGblEnv)
import Outputable ( Outputable )
import HsExtension ( GhcRn, GhcTc )
import Data.Maybe ( Maybe )
tcPatSynDecl :: PatSynBind GhcRn GhcRn
-> Maybe TcSigInfo
-> TcM (LHsBinds GhcTc, TcGblEnv)
tcPatSynBuilderBind :: PatSynBind GhcRn GhcRn -> TcM (LHsBinds GhcTc)
nonBidirectionalErr :: Outputable name => name -> TcM a
|