#3766: Parsing of lambdas is not consistent with Haskell'98 report.
----------------------------------+-----------------------------------------
    Reporter:  lilac              |       Owner:                           
        Type:  bug                |      Status:  new                      
    Priority:  normal             |   Milestone:                           
   Component:  Compiler (Parser)  |     Version:  6.10.4                   
  Resolution:                     |    Keywords:                           
          Os:  Unknown/Multiple   |    Testcase:                           
Architecture:  Unknown/Multiple   |     Failure:  GHC rejects valid program
----------------------------------+-----------------------------------------
Comment (by lilac):

 Correction: the Report's grammar admits two parses: (\x -> (x :: Int)) .
 id, and ((\x -> x) :: Int) . id; the "as far to the right as possible"
 rule picks the former.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3766#comment:1>
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

Reply via email to