Add valid refinement substitution suggestions for typed holes
[ghc.git] / compiler / typecheck / TcInstDcls.hs-boot
1 {-
2 (c) The University of Glasgow 2006
3 (c) The GRASP/AQUA Project, Glasgow University, 1992-1998
4 -}
5
6 module TcInstDcls ( tcInstDecls1 ) where
7
8 import HsSyn
9 import TcRnTypes
10 import TcEnv( InstInfo )
11 import TcDeriv
12 import HsExtension ( GhcRn )
13
14 -- We need this because of the mutual recursion
15 -- between TcTyClsDecls and TcInstDcls
16 tcInstDecls1 :: [LInstDecl GhcRn]
17              -> TcM (TcGblEnv, [InstInfo GhcRn], [DerivInfo])