[Git][ghc/ghc][master] tcMatchesFun s/rho/sigma #16692

[Marge Bot]

 Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC


Commits:
ae968d41 by Vladislav Zavialov at 2019-05-29T14:42:20Z
tcMatchesFun s/rho/sigma #16692

- - - - -


2 changed files:

- compiler/typecheck/TcMatches.hs
- compiler/typecheck/TcMatches.hs-boot


Changes:

=====================================
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


=====================================
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))



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/commit/ae968d419d861dcc01cd5d45e96dc86e16c363c5

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/commit/ae968d419d861dcc01cd5d45e96dc86e16c363c5
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20190529/ee9912c2/attachment-0001.html>