[commit: ghc] wip/ttypeable: TcInteract: Unused parameter (85a7fe6)
git at git.haskell.org
git at git.haskell.org
Sat Oct 1 21:33:55 UTC 2016
Repository : ssh://git@git.haskell.org/ghc
On branch : wip/ttypeable
Link : http://ghc.haskell.org/trac/ghc/changeset/85a7fe6b3222ba501229be6ff0668294106de29e/ghc
>---------------------------------------------------------------
commit 85a7fe6b3222ba501229be6ff0668294106de29e
Author: Ben Gamari <ben at smart-cactus.org>
Date: Wed Mar 16 11:04:54 2016 +0100
TcInteract: Unused parameter
>---------------------------------------------------------------
85a7fe6b3222ba501229be6ff0668294106de29e
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 a588f3a..f5ef7fa 100644
--- a/compiler/typecheck/TcInteract.hs
+++ b/compiler/typecheck/TcInteract.hs
@@ -2022,7 +2022,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
@@ -2057,8 +2057,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