#1537: do notation translation
-------------------------------------+--------------------------------------
Reporter: Isaac Dupree | Owner: simonpj
Type: bug | Status: closed
Priority: normal | Milestone: 6.10 branch
Component: Compiler (Type checker) | Version: 6.7
Severity: normal | Resolution: fixed
Keywords: | Difficulty: Unknown
Testcase: rebindable8 | Architecture: Unknown
Os: Unknown |
-------------------------------------+--------------------------------------
Comment (by mnislaih):
It looks like ghc still enforces a signature of the form
{{{
(>>=) :: rhs_ty -> (pat_ty -> res_ty) -> res_ty
}}}
Is it reasonable to demand that res_ty is preserved?
Even with the patch, the parameterized monads referenced by the blog post
above cannot be made to use do notation
I can prepare a new test that shows this
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1537#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
