[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