[commit: ghc] master: Add some missing seqs to Coercion.seqCo (20d8621)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/20d8621148b3e12da8ee7d6e5952d7c7222428ea/ghc

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

commit 20d8621148b3e12da8ee7d6e5952d7c7222428ea
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Mon Jun 1 08:51:42 2015 +0100

    Add some missing seqs to Coercion.seqCo


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

20d8621148b3e12da8ee7d6e5952d7c7222428ea
 compiler/types/Coercion.hs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/compiler/types/Coercion.hs b/compiler/types/Coercion.hs
index 797f785..3a55bcc 100644
--- a/compiler/types/Coercion.hs
+++ b/compiler/types/Coercion.hs
@@ -1855,14 +1855,14 @@ seqCo :: Coercion -> ()
 seqCo (Refl eq ty)              = eq `seq` seqType ty
 seqCo (TyConAppCo eq tc cos)    = eq `seq` tc `seq` seqCos cos
 seqCo (AppCo co1 co2)           = seqCo co1 `seq` seqCo co2
-seqCo (ForAllCo tv co)          = tv `seq` seqCo co
+seqCo (ForAllCo tv co)          = seqType (tyVarKind tv) `seq` seqCo co
 seqCo (CoVarCo cv)              = cv `seq` ()
 seqCo (AxiomInstCo con ind cos) = con `seq` ind `seq` seqCos cos
 seqCo (UnivCo s r ty1 ty2)      = s `seq` r `seq` seqType ty1 `seq` seqType ty2
 seqCo (SymCo co)                = seqCo co
 seqCo (TransCo co1 co2)         = seqCo co1 `seq` seqCo co2
-seqCo (NthCo _ co)              = seqCo co
-seqCo (LRCo _ co)               = seqCo co
+seqCo (NthCo n co)              = n `seq` seqCo co
+seqCo (LRCo lr co)              = lr `seq` seqCo co
 seqCo (InstCo co ty)            = seqCo co `seq` seqType ty
 seqCo (SubCo co)                = seqCo co
 seqCo (AxiomRuleCo _ ts cs)     = seqTypes ts `seq` seqCos cs