[GHC] #1111: Too-eager variable capture in forall types

[GHC]

#1111: Too-eager variable capture in forall types
----------------------+-----------------------------------------------------
 Reporter:  japple    |          Owner:  simonpj
     Type:  bug       |         Status:  new    
 Priority:  normal    |      Milestone:  6.6.1  
Component:  Compiler  |        Version:  6.6    
 Severity:  normal    |     Resolution:         
 Keywords:            |     Difficulty:  Unknown
 Testcase:            |   Architecture:  x86    
       Os:  Linux     |  
----------------------+-----------------------------------------------------
Changes (by igloo):

  * milestone:  => 6.6.1
  * owner:  => simonpj

Comment:

 I'm seeing
 {{{
 <interactive>: internal error: stg_ap_v_ret
     (GHC version 6.6 for x86_64_unknown_linux)
     Please report this as a GHC bug:
 http://www.haskell.org/ghc/reportabug
 }}}
 for oops/oopsAgain rather than Illegal instruction, and the same CASEFAIL
 as the submitter for oopsOnceMore. HEAD is the same.

 I'm not quite sure what's going on here. Is the monomorphism restriction
 allowing the a to be unified with the x in h?

 Sounds like one for you, Simon!

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