Make a smart mkAppTyM
[ghc.git] / compiler / typecheck / TcType.hs-boot
1 module TcType where
2 import Outputable( SDoc )
3
4 data MetaDetails
5
6 data TcTyVarDetails
7 pprTcTyVarDetails :: TcTyVarDetails -> SDoc
8 vanillaSkolemTv :: TcTyVarDetails