New syntax for GADT-style record declarations, and associated refactoring

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

diff --git a/compiler/typecheck/TcExpr.lhs-boot b/compiler/typecheck/TcExpr.lhs-boot
index be097ef..ec36034 100644 (file)
--- a/compiler/typecheck/TcExpr.lhs-boot
+++ b/compiler/typecheck/TcExpr.lhs-boot
@@ -15,7 +15,7 @@ tcMonoExpr ::
        -> BoxyRhoType
        -> TcM (LHsExpr TcId)
 
-tcInferRho :: 
+tcInferRho, tcInferRhoNC :: 
          LHsExpr Name
        -> TcM (LHsExpr TcId, TcRhoType)
 
@@ -24,4 +24,5 @@ tcSyntaxOp ::
        -> HsExpr Name
        -> TcType
        -> TcM (HsExpr TcId)
+
 \end{code}