diff options
| author | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2019-05-26 14:21:19 +0300 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-05-29 10:42:20 -0400 |
| commit | ae968d419d861dcc01cd5d45e96dc86e16c363c5 (patch) | |
| tree | 9645a94ccd4e5f02a5b32cb869e6404fd300efba | |
| parent | 4d51e0d80f02483e86f4ad3bae47dcb3311def6b (diff) | |
| download | haskell-ae968d419d861dcc01cd5d45e96dc86e16c363c5.tar.gz | |
tcMatchesFun s/rho/sigma #16692
| -rw-r--r-- | compiler/typecheck/TcMatches.hs | 2 | ||||
| -rw-r--r-- | 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)) |