disable a false assertion, with a comment to explain why

[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}