[GHC] #3101: GHC crashes on synonym family in a rank-n type

GHC trac at galois.com
Mon Mar 16 13:17:49 EDT 2009


#3101: GHC crashes on synonym family in a rank-n type
-------------------------------------------+--------------------------------
    Reporter:  MartijnVanSteenbergen       |        Owner:  igloo  
        Type:  merge                       |       Status:  new    
    Priority:  normal                      |    Milestone:         
   Component:  Compiler                    |      Version:  6.10.1 
    Severity:  normal                      |   Resolution:         
    Keywords:                              |   Difficulty:  Unknown
    Testcase:  deriving/should_fail/T3101  |           Os:  MacOS X
Architecture:  Unknown/Multiple            |  
-------------------------------------------+--------------------------------
Changes (by simonpj):

  * testcase:  => deriving/should_fail/T3101
  * owner:  => igloo
  * type:  bug => merge

Comment:

 Fixed by
 {{{
 Mon Mar 16 09:45:02 PDT 2009  simonpj at microsoft.com
   * Reject foralls in constructor args in 'deriving', except for Functor
 etc
 }}}
 There's a bit of refactoring in here to do with deriving `Functor`, so
 this patch won't merge into 6.10.2 trivially, though it would be easy to
 smooth over the bumps.  It's not a big deal either way.

 Simon

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


More information about the Glasgow-haskell-bugs mailing list