[commit: ghc] wip/ttypeable: TcInteract: Unused parameter (6e10f55)
git at git.haskell.org
git at git.haskell.org
Mon Jun 6 11:11:43 UTC 2016
Repository : ssh://git@git.haskell.org/ghc
On branch : wip/ttypeable
Link : http://ghc.haskell.org/trac/ghc/changeset/6e10f55dfa2f530141118d03a89cca0704d005a8/ghc
>---------------------------------------------------------------
commit 6e10f55dfa2f530141118d03a89cca0704d005a8
Author: Ben Gamari <ben at smart-cactus.org>
Date: Wed Mar 16 11:04:54 2016 +0100
TcInteract: Unused parameter
>---------------------------------------------------------------
6e10f55dfa2f530141118d03a89cca0704d005a8
compiler/typecheck/TcInteract.hs | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/compiler/typecheck/TcInteract.hs b/compiler/typecheck/TcInteract.hs
index 45ab157..37d6a13 100644
--- a/compiler/typecheck/TcInteract.hs
+++ b/compiler/typecheck/TcInteract.hs
@@ -2020,7 +2020,7 @@ matchTypeable clas [k,t] -- clas = Typeable
| t `eqType` liftedTypeKind = doPrimRep trTYPE'PtrRepLiftedName t
| t `eqType` runtimeRepTy = doPrimRep trRuntimeRepName t
| Just (tc, ks) <- splitTyConApp_maybe t -- See Note [Typeable (T a b c)]
- , onlyNamedBndrsApplied tc ks = doTyConApp clas t tc ks
+ , onlyNamedBndrsApplied tc ks = doTyConApp clas t tc
| Just (arg,ret) <- splitFunTy_maybe t = doFunTy clas t arg ret
| Just (f,kt) <- splitAppTy_maybe t = doTyApp clas t f kt
@@ -2055,8 +2055,8 @@ doPrimRep rep_name ty
-- kind variables have been instantiated).
--
-- TODO: Do we want to encode the applied kinds in the representation?
-doTyConApp :: Class -> Type -> TyCon -> [Kind] -> TcS LookupInstResult
-doTyConApp clas ty tc ks
+doTyConApp :: Class -> Type -> TyCon -> TcS LookupInstResult
+doTyConApp clas ty tc
= return $ GenInst [mk_typeable_pred clas $ typeKind ty]
(\[ev] -> EvTypeable ty $ EvTypeableTyCon tc ev)
True
More information about the ghc-commits
mailing list