#1537: do notation translation
----------------------------------------+-----------------------------------
Reporter: Isaac Dupree | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler (Type checker) | Version: 6.7
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Os: Unknown | Testcase:
Architecture: Unknown |
----------------------------------------+-----------------------------------
Changes (by SamB):
* component: Compiler => Compiler (Type checker)
Comment:
This definately doesn't behave according to
[http://www.haskell.org/ghc/docs/latest/html/users_guide/syntax-extns.html
#rebindable-syntax 7.3.5. Rebindable syntax], which says that GHC will use
"whatever functions (>>=), (>>), and fail, are in scope". It also says
about the Arrow functions "unlike the other constructs, the types of these
functions must match the Prelude types very closely", implying that the
types of the Monad functions need not. I conclude that the typechecking of
do notation must be buggy.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1537>
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
