Add nakedSubstTy and use it in TcHsType.tcInferApps
[ghc.git] / compiler / typecheck / TcEnv.hs-boot
1 module TcEnv where
2
3 import TcRnTypes( TcM )
4 import VarEnv( TidyEnv )
5
6 -- Annoyingly, there's a recursion between tcInitTidyEnv
7 -- (which does zonking and hence needs TcMType) and
8 -- addErrTc etc which live in TcRnMonad.  Rats.
9 tcInitTidyEnv :: TcM TidyEnv
10