[GHC] #3468: GHC panic: boxy_match_s

[GHC]

#3468: GHC panic: boxy_match_s
--------------------------------------------+-------------------------------
    Reporter:  wkahl                        |        Owner:         
        Type:  bug                          |       Status:  closed 
    Priority:  normal                       |    Milestone:         
   Component:  Compiler                     |      Version:  6.10.4 
    Severity:  minor                        |   Resolution:  fixed  
    Keywords:  boxy_match_s                 |   Difficulty:  Unknown
    Testcase:  typecheck/should_fail/T3468  |           Os:  Linux  
Architecture:  powerpc                      |  
--------------------------------------------+-------------------------------
Changes (by simonpj):

  * testcase:  => typecheck/should_fail/T3468
  * difficulty:  => Unknown
  * status:  new => closed
  * resolution:  => fixed

Comment:

 The underlying problem is that the bit of code that compares the `hs-boot`
 interface with the Real Truth gotten from the `.hs` file was forgetting to
 compare the kinds of the `TyCon`s involved.

 I've fixed that, so that this inconsistency won't happen again.  Thank you
 for reporting it
 {{{
 Tue Sep  8 14:03:50 BST 2009  simonpj at microsoft.com
   * Fix Trac #3468: improve checking for hs-boot interfaces

   When checking the interface exported by a hs-boot file against the
   Real Thing, I'd failed to check the kind of a type constructor.  If you
   get it wrong, the inconsistency leads to all manner of mischief, as
   'wkahl' reports in #3468.

   This patch should do the job.


     M ./compiler/typecheck/TcRnDriver.lhs -38 +52
 }}}

 Simon

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3468#comment:4>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler