diff options
Diffstat (limited to 'compiler/GHC/Core/Lint.hs')
| -rw-r--r-- | compiler/GHC/Core/Lint.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/GHC/Core/Lint.hs b/compiler/GHC/Core/Lint.hs index f20dbcc62b..02e4791196 100644 --- a/compiler/GHC/Core/Lint.hs +++ b/compiler/GHC/Core/Lint.hs @@ -1632,7 +1632,7 @@ lintType ty@(TyConApp tc tys) ; lintTySynFamApp report_unsat ty tc tys } | isFunTyCon tc - , tys `lengthIs` 5 + , FunTyConArgs _ _ _ _ _ <- tys -- We should never see a saturated application of funTyCon; such -- applications should be represented with the FunTy constructor. -- See Note [Linting function types] and @@ -2000,7 +2000,7 @@ lintCoercion (GRefl r ty (MCo co)) lintCoercion co@(TyConAppCo r tc cos) | tc `hasKey` funTyConKey - , [_w, _rep1,_rep2,_co1,_co2] <- cos + , FunTyConArgs _w _rep1 _rep2 _co1 _co2 <- cos = failWithL (text "Saturated TyConAppCo (->):" <+> ppr co) -- All saturated TyConAppCos should be FunCos |