Implement TH reification of instances (Trac #1835)
[ghc-hetmet.git] / compiler / typecheck / TcHsType.lhs
index b27d26a..50cc4d6 100644 (file)
@@ -16,7 +16,7 @@ module TcHsType (
        
                -- Typechecking kinded types
        tcHsKindedContext, tcHsKindedType, tcHsBangType,
-       tcTyVarBndrs, dsHsType, 
+       tcTyVarBndrs, dsHsType, kcHsLPred, dsHsLPred,
        tcDataKindSig, ExpKind(..), EkCtxt(..),
 
                -- Pattern type signatures