#344: arrow notation: incorrect scope of existential dictionaries
--------------------------------------+-------------------------------------
Reporter: nobody | Owner: ross
Type: bug | Status: new
Priority: lowest | Milestone: 7.6.1
Component: Compiler (Type checker) | Version: 6.4
Resolution: None | Keywords:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: Compile-time crash | Difficulty: Unknown
Testcase: | Blockedby:
Blocking: | Related:
--------------------------------------+-------------------------------------
Comment(by ross):
Alternatively, it could be translated as
{{{
get = arr (\x -> case x of Bar a -> (foo,a)) >>> arr (\(foo,a) -> foo a)
>>> id
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/344#comment:24>
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
