#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
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
