#1537: do notation translation
--------------------------------------+-------------------------------------
Reporter: Isaac Dupree | Owner: simonpj
Type: merge | Status: reopened
Priority: normal | Milestone: 6.10 branch
Component: Compiler (Type checker) | Version: 6.7
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Testcase: rebindable8, rebindable9 | Architecture: Unknown
Os: Unknown |
--------------------------------------+-------------------------------------
Comment (by mnislaih):
I gather that you think the test rebindable 9 is not interesting.
It may seem that the instances
{{{
instance Bind Identity m m where ...
instance Bind m Identity m where ...
}}}
are artificial and don't show up in real code.
But on the contrary, they are at the heart of the parameterized monads
framework!
These types show up all the time.
On the other hand, testing the new rebindable code with Oleg's restricted
monads is definitely interesting too.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1537#comment:15>
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
