TcEnv.hs-boot

module TcEnv where

import TcRnTypes( TcM )
import GHC.Types.Var.Env( TidyEnv )

-- Annoyingly, there's a recursion between tcInitTidyEnv
-- (which does zonking and hence needs TcMType) and
-- addErrTc etc which live in TcRnMonad.  Rats.
tcInitTidyEnv :: TcM TidyEnv