patch applied (ghc): Make type-tidying work for coercion variables

[Simon Peyton Jones]

Mon Apr  2 00:38:35 PDT 2007  simonpj at microsoft.com
  * Make type-tidying work for coercion variables
  
  When tidying a TyVar binder, we must tidy its kind if it's a coercion
  variable!  I had forgotten to do this, which is a serious bug.  As a
  result some more complicated programs were getting a Lint error when
  reading in interface files.  Score one for Core Lint!
  
  

    M ./compiler/types/Type.lhs -6 +10