From ae968d419d861dcc01cd5d45e96dc86e16c363c5 Mon Sep 17 00:00:00 2001
From: Vladislav Zavialov <vlad.z.4096@gmail.com>
Date: Sun, 26 May 2019 14:21:19 +0300
Subject: [PATCH] tcMatchesFun s/rho/sigma #16692

---
 compiler/typecheck/TcMatches.hs      | 2 +-
 compiler/typecheck/TcMatches.hs-boot | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/compiler/typecheck/TcMatches.hs b/compiler/typecheck/TcMatches.hs
index 6b727ed5aa..93e47ac1d9 100644
--- a/compiler/typecheck/TcMatches.hs
+++ b/compiler/typecheck/TcMatches.hs
@@ -72,7 +72,7 @@ See Note [sig_tau may be polymorphic] in TcPat.
 
 tcMatchesFun :: Located Name
              -> MatchGroup GhcRn (LHsExpr GhcRn)
-             -> ExpRhoType     -- Expected type of function
+             -> ExpSigmaType    -- Expected type of function
              -> TcM (HsWrapper, MatchGroup GhcTcId (LHsExpr GhcTcId))
                                 -- Returns type of body
 tcMatchesFun fn@(L _ fun_name) matches exp_ty
diff --git a/compiler/typecheck/TcMatches.hs-boot b/compiler/typecheck/TcMatches.hs-boot
index 812b5107d3..42640151ce 100644
--- a/compiler/typecheck/TcMatches.hs-boot
+++ b/compiler/typecheck/TcMatches.hs-boot
@@ -2,7 +2,7 @@ module TcMatches where
 import HsSyn    ( GRHSs, MatchGroup, LHsExpr )
 import TcEvidence( HsWrapper )
 import Name     ( Name )
-import TcType   ( ExpRhoType, TcRhoType )
+import TcType   ( ExpSigmaType, TcRhoType )
 import TcRnTypes( TcM )
 import SrcLoc   ( Located )
 import HsExtension ( GhcRn, GhcTcId )
@@ -13,5 +13,5 @@ tcGRHSsPat    :: GRHSs GhcRn (LHsExpr GhcRn)
 
 tcMatchesFun :: Located Name
              -> MatchGroup GhcRn (LHsExpr GhcRn)
-             -> ExpRhoType
+             -> ExpSigmaType
              -> TcM (HsWrapper, MatchGroup GhcTcId (LHsExpr GhcTcId))
-- 
GitLab