Add HsCoreTy to HsType
[ghc-hetmet.git] / compiler / typecheck / TcExpr.lhs-boot
index 4ff2c19..6a75a10 100644 (file)
@@ -10,12 +10,12 @@ tcPolyExpr ::
        -> BoxySigmaType
        -> TcM (LHsExpr TcId)
 
-tcMonoExpr :: 
+tcMonoExpr, tcMonoExprNC :: 
          LHsExpr Name
        -> BoxyRhoType
        -> TcM (LHsExpr TcId)
 
-tcInferRho :: 
+tcInferRho, tcInferRhoNC :: 
          LHsExpr Name
        -> TcM (LHsExpr TcId, TcRhoType)