[GHC] #2019: GADT record with polytype argument causes irrefutable pattern failure in basicTypes/MkId.lhs

[GHC]

#2019: GADT record with polytype argument causes irrefutable pattern failure in
basicTypes/MkId.lhs
---------------------------------------------+------------------------------
 Reporter:  japple                           |          Owner:  igloo  
     Type:  merge                            |         Status:  new    
 Priority:  normal                           |      Milestone:  6.8.3  
Component:  Compiler                         |        Version:  6.8.2  
 Severity:  normal                           |     Resolution:         
 Keywords:                                   |     Difficulty:  Unknown
 Testcase:  tcfail195, tcfail196, tcfail197  |   Architecture:  x86    
       Os:  Linux                            |  
---------------------------------------------+------------------------------
Changes (by simonpj):

  * testcase:  => tcfail195, tcfail196, tcfail197
  * owner:  => igloo
  * type:  bug => merge

Comment:

 Shouldn't be valid; in general equality constraints can't involve
 polytypes.  I'm adding a test in the code, and some testsuite cases.

 Thanks for pointing this out.

 Ian can you merge this:
 {{{
 Mon Jan  7 12:53:22 GMT 2008  simonpj at microsoft.com
   * Add tests for type signature validity (cf Trac 2019)
 }}}

 Simon

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