[commit: ghc] wip/impredicativity: Fix warning on termination check with <~ constraints (6b05f0c)

[git at git.haskell.org]

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

On branch  : wip/impredicativity
Link       : http://ghc.haskell.org/trac/ghc/changeset/6b05f0c574a5067cbd6db5909e34d66c3512aa8f/ghc

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

commit 6b05f0c574a5067cbd6db5909e34d66c3512aa8f
Author: Alejandro Serrano <trupill at gmail.com>
Date:   Mon Jul 27 09:58:29 2015 +0200

    Fix warning on termination check with <~ constraints


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

6b05f0c574a5067cbd6db5909e34d66c3512aa8f
 compiler/typecheck/TcValidity.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/compiler/typecheck/TcValidity.hs b/compiler/typecheck/TcValidity.hs
index 5d1bf31..fcfdbf4 100644
--- a/compiler/typecheck/TcValidity.hs
+++ b/compiler/typecheck/TcValidity.hs
@@ -1029,6 +1029,7 @@ checkInstTermination tys theta
    check pred
      = case classifyPredType pred of
          EqPred {}    -> return ()  -- See Trac #4200.
+         InstanceOfPred {} -> return ()
          IrredPred {} -> check2 pred (sizeType pred)
          ClassPred cls tys
            | isIPClass cls