Fix Trac #4525: report type errors in terms of the immediate type synonym

[ghc-hetmet.git] / compiler / typecheck / TcType.lhs-boot

\begin{code}
module TcType where
import Outputable( SDoc )

data MetaDetails

data TcTyVarDetails 
pprTcTyVarDetails :: TcTyVarDetails -> SDoc
\end{code}