[commit: ghc] wip/ttypeable: TcInteract: Unused parameter (482e7cd)
git at git.haskell.org
git at git.haskell.org
Sun Jan 29 20:18:30 UTC 2017
Repository : ssh://git@git.haskell.org/ghc
On branch : wip/ttypeable
Link : http://ghc.haskell.org/trac/ghc/changeset/482e7cd135344e11414440710fce148a5ba4c520/ghc
>---------------------------------------------------------------
commit 482e7cd135344e11414440710fce148a5ba4c520
Author: Ben Gamari <ben at smart-cactus.org>
Date: Wed Mar 16 11:04:54 2016 +0100
TcInteract: Unused parameter
>---------------------------------------------------------------
482e7cd135344e11414440710fce148a5ba4c520
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 e7bbafa..47d9f2e 100644
--- a/compiler/typecheck/TcInteract.hs
+++ b/compiler/typecheck/TcInteract.hs
@@ -2166,7 +2166,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
@@ -2201,8 +2201,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