Re: [GHC] #7973: Simplifier introduces unbound kind variables (caught by -dcore-lint)

10 Jun 2013

      #7973: Simplifier introduces unbound kind variables (caught by -dcore-lint)
-----------------------------+----------------------------------------------
Reporter:  diatchki          |          Owner:                         
    Type:  bug               |         Status:  new                    
Priority:  normal            |      Component:  Compiler (Type checker)
 Version:  7.7               |       Keywords:                         
      Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple       
 Failure:  None/Unknown      |      Blockedby:                         
Blocking:                    |        Related:                         
-----------------------------+----------------------------------------------

Comment(by simonpj@…):

 commit 8c846f714223c33adef76e6072ba94d3e33b7e97
 {{{
 Author: Simon Peyton Jones 
 Date:   Mon Jun 10 11:04:09 2013 +0100

     Fix substitution but in liftCoSubst (Trac #7973)

     Iavor uncovered this subtle omission in liftCoSubst.  The problem and
 its
     solution are desribed in
         Note [Substituting kinds in liftCoSubst]

  compiler/types/Coercion.lhs |   82
 +++++++++++++++++++++++++++++++++++++++++--
  1 files changed, 79 insertions(+), 3 deletions(-)
 }}}

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7973#comment:1
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler