Fix and document cloneWC
[ghc.git] / compiler / typecheck / TcMatches.hs-boot
index a45cbbe..812b510 100644 (file)
@@ -3,14 +3,15 @@ import HsSyn    ( GRHSs, MatchGroup, LHsExpr )
 import TcEvidence( HsWrapper )
 import Name     ( Name )
 import TcType   ( ExpRhoType, TcRhoType )
-import TcRnTypes( TcM, TcId )
---import SrcLoc   ( Located )
+import TcRnTypes( TcM )
+import SrcLoc   ( Located )
+import HsExtension ( GhcRn, GhcTcId )
 
-tcGRHSsPat    :: GRHSs Name (LHsExpr Name)
+tcGRHSsPat    :: GRHSs GhcRn (LHsExpr GhcRn)
               -> TcRhoType
-              -> TcM (GRHSs TcId (LHsExpr TcId))
+              -> TcM (GRHSs GhcTcId (LHsExpr GhcTcId))
 
-tcMatchesFun :: Name
-             -> MatchGroup Name (LHsExpr Name)
+tcMatchesFun :: Located Name
+             -> MatchGroup GhcRn (LHsExpr GhcRn)
              -> ExpRhoType
-             -> TcM (HsWrapper, MatchGroup TcId (LHsExpr TcId))
+             -> TcM (HsWrapper, MatchGroup GhcTcId (LHsExpr GhcTcId))