Re: [GHC] #1537: do notation translation

[GHC]

#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
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs