[commit: ghc] wip/T15809: Wibbles (a2b8905)
git at git.haskell.org
git at git.haskell.org
Mon Nov 26 17:49:53 UTC 2018
Repository : ssh://git@git.haskell.org/ghc
On branch : wip/T15809
Link : http://ghc.haskell.org/trac/ghc/changeset/a2b8905015519e83eddc7e3637d30ada5f63d7c9/ghc
>---------------------------------------------------------------
commit a2b8905015519e83eddc7e3637d30ada5f63d7c9
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date: Mon Nov 19 11:32:56 2018 +0000
Wibbles
>---------------------------------------------------------------
a2b8905015519e83eddc7e3637d30ada5f63d7c9
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 07a6320..d74ecb5 100644
--- a/compiler/typecheck/TcTyClsDecls.hs
+++ b/compiler/typecheck/TcTyClsDecls.hs
@@ -1897,7 +1897,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
@@ -1929,7 +1929,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