[commit: ghc] wip/T15809: Wibbles (b8b837f)
git at git.haskell.org
git at git.haskell.org
Fri Nov 23 17:35:28 UTC 2018
Repository : ssh://git@git.haskell.org/ghc
On branch : wip/T15809
Link : http://ghc.haskell.org/trac/ghc/changeset/b8b837fe463e67a9bc225ce599564ac4222c159e/ghc
>---------------------------------------------------------------
commit b8b837fe463e67a9bc225ce599564ac4222c159e
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date: Mon Nov 19 11:32:56 2018 +0000
Wibbles
>---------------------------------------------------------------
b8b837fe463e67a9bc225ce599564ac4222c159e
compiler/typecheck/TcTyClsDecls.hs | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/compiler/typecheck/TcTyClsDecls.hs b/compiler/typecheck/TcTyClsDecls.hs
index 0f8057d..e1c570d 100644
--- a/compiler/typecheck/TcTyClsDecls.hs
+++ b/compiler/typecheck/TcTyClsDecls.hs
@@ -1879,7 +1879,7 @@ tcFamTyPatsAndGen fam_tc mb_clsinfo imp_vars exp_bndrs hs_pats thing_inside
tcFamTyPats :: TyCon -> Maybe ClsInstInfo
-> HsTyPats GhcRn -- Patterns
-> TcM ([TcType], TcKind) -- (pats, rhs_kind)
-tcFamTyPats fam_tc mb_clsinfo hs_pats
+tcFamTyPats fam_tc _mb_clsinfo hs_pats
= do { traceTc "tcFamTyPats {" $
vcat [ ppr fam_tc <+> dcolon <+> ppr fun_kind
, text "arity:" <+> ppr fam_arity
@@ -1911,7 +1911,7 @@ tcFamTyPats fam_tc mb_clsinfo hs_pats
fun_kind = tyConKind fam_tc
lhs_fun = noLoc (HsTyVar noExt NotPromoted (noLoc fam_name))
(invis_bndrs, body_kind) = splitPiTysInvisibleN fam_arity fun_kind
- mb_kind_env = thdOf3 <$> mb_clsinfo
+-- mb_kind_env = thdOf3 <$> mb_clsinfo
bad_lhs fam_app
= hang (text "Ill-typed LHS of family instance")
More information about the ghc-commits
mailing list