[GHC] #344: arrow notation: incorrect scope of existential dictionaries

[GHC]

#344: arrow notation: incorrect scope of existential dictionaries
-------------------------------------+--------------------------------------
 Reporter:  nobody                   |          Owner:  ross       
     Type:  bug                      |         Status:  new        
 Priority:  normal                   |      Milestone:  6.10 branch
Component:  Compiler (Type checker)  |        Version:  6.4        
 Severity:  normal                   |     Resolution:  None       
 Keywords:                           |     Difficulty:  Unknown    
 Testcase:                           |   Architecture:  Unknown    
       Os:  Unknown                  |  
-------------------------------------+--------------------------------------
Comment (by simonpj):

 Ross says: This will be a hard one, because it needs an intimate
 understanding of
 both the type checker and the arrow desugarer.  Certainly not before
 the 19th (Sept 08).

 Fair enough. If you could get to it before 6.10.2 that would be great.

 Simon

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