[commit: ghc] wip/generalized-arrow: TcInteract: Unused parameter (d3cc620)
git at git.haskell.org
git at git.haskell.org
Mon Mar 21 17:10:52 UTC 2016
Repository : ssh://git@git.haskell.org/ghc
On branch : wip/generalized-arrow
Link : http://ghc.haskell.org/trac/ghc/changeset/d3cc6209358aa1dfe1b5cc0e5f9f36662279e459/ghc
>---------------------------------------------------------------
commit d3cc6209358aa1dfe1b5cc0e5f9f36662279e459
Author: Ben Gamari <ben at smart-cactus.org>
Date: Wed Mar 16 11:04:54 2016 +0100
TcInteract: Unused parameter
>---------------------------------------------------------------
d3cc6209358aa1dfe1b5cc0e5f9f36662279e459
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 d98a748..e93f303 100644
--- a/compiler/typecheck/TcInteract.hs
+++ b/compiler/typecheck/TcInteract.hs
@@ -2002,7 +2002,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
@@ -2037,8 +2037,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