[commit: ghc] wip/tc/typeable-with-kinds: Remove warnings (e0e0303)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/tc/typeable-with-kinds
Link       : http://ghc.haskell.org/trac/ghc/changeset/e0e03036017d4db7c20ef3d6ea0fab207e391cd7/ghc

>---------------------------------------------------------------

commit e0e03036017d4db7c20ef3d6ea0fab207e391cd7
Author: Iavor S. Diatchki <diatchki at galois.com>
Date:   Tue Feb 10 17:33:06 2015 -0800

    Remove warnings


>---------------------------------------------------------------

e0e03036017d4db7c20ef3d6ea0fab207e391cd7
 compiler/typecheck/TcInteract.hs | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

diff --git a/compiler/typecheck/TcInteract.hs b/compiler/typecheck/TcInteract.hs
index 5191277..716a8c1 100644
--- a/compiler/typecheck/TcInteract.hs
+++ b/compiler/typecheck/TcInteract.hs
@@ -1692,9 +1692,7 @@ matchClassInst _ clas [ ty ] _
     = panicTcS (text "Unexpected evidence for" <+> ppr (className clas)
                      $$ vcat (map (ppr . idType) (classMethods clas)))
 
-
-
-matchClassInst inerts clas [k,t] loc
+matchClassInst _ clas [k,t] loc
   | className clas == typeableClassName = matchTypeableClass clas k t loc
 
 matchClassInst inerts clas tys loc
@@ -1849,8 +1847,8 @@ matchTypeableClass clas k t loc
   | isForAllTy k                               = return NoInstance
   | Just (tc, ks_tys) <- splitTyConApp_maybe t = doTyConApp tc ks_tys
   | Just (f,kt)       <- splitAppTy_maybe t    = doTyApp f kt
-  | Just n            <- isNumLitTy t          = mkEv [] (EvTypeableTyLit t)
-  | Just s            <- isStrLitTy t          = mkEv [] (EvTypeableTyLit t)
+  | Just _            <- isNumLitTy t          = mkEv [] (EvTypeableTyLit t)
+  | Just _            <- isStrLitTy t          = mkEv [] (EvTypeableTyLit t)
   | otherwise                                  = return NoInstance
 
   where
@@ -1884,7 +1882,7 @@ matchTypeableClass clas k t loc
   -- Representation for concrete kinds.  We just use the kind itself,
   -- but first check to make sure that it is "simple" (i.e., made entirely
   -- out of kind constructors).
-  kindRep ki = do (kc,ks) <- splitTyConApp_maybe ki
+  kindRep ki = do (_,ks) <- splitTyConApp_maybe ki
                   mapM_ kindRep ks
                   return ki