summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/PatSyn.hs
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/GHC/Core/PatSyn.hs')
-rw-r--r--compiler/GHC/Core/PatSyn.hs4
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/GHC/Core/PatSyn.hs b/compiler/GHC/Core/PatSyn.hs
index efcc45a772..d824076851 100644
--- a/compiler/GHC/Core/PatSyn.hs
+++ b/compiler/GHC/Core/PatSyn.hs
@@ -389,7 +389,7 @@ mkPatSyn :: Name
-> [FieldLabel] -- ^ Names of fields for
-- a record pattern synonym
-> PatSyn
- -- NB: The univ and ex vars are both in TyBinder form and TyVar form for
+ -- NB: The univ and ex vars are both in PiTyVarBinder form and TyVar form for
-- convenience. All the TyBinders should be Named!
mkPatSyn name declared_infix
(univ_tvs, req_theta)
@@ -508,6 +508,6 @@ pprPatSynType (MkPatSyn { psUnivTyVars = univ_tvs, psReqTheta = req_theta
, pprType sigma_ty ]
where
sigma_ty = mkInvisForAllTys ex_tvs $
- mkInvisFunTysMany prov_theta $
+ mkInvisFunTys prov_theta $
mkVisFunTysMany orig_args orig_res_ty
insert_empty_ctxt = null req_theta && not (null prov_theta && null ex_tvs)