#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):

 Amusingly, with any extension which adds the 'forall x . y' syntax to
 types (such as -XExistentialQuantification) enabled, the expression is
 accepted! Cases with other operators, such as (\x -> x :: Int $ 4) still
 fail, however.

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