[GHC] #10855: GHC rejects code that Haskell 2010 report accepts
GHC
ghc-devs at haskell.org
Tue Sep 8 16:30:02 UTC 2015
#10855: GHC rejects code that Haskell 2010 report accepts
-------------------------------------+-------------------------------------
Reporter: goldfire | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.10.2
Keywords: | Operating System: Unknown/Multiple
Architecture: | Type of failure: None/Unknown
Unknown/Multiple |
Test Case: | Blocked By:
Blocking: | Related Tickets:
Differential Revisions: |
-------------------------------------+-------------------------------------
According to
[https://www.haskell.org/onlinereport/haskell2010/haskellch3.html#x8-220003
The Haskell 2010 Report], the following two modules should compile. But
they don't, failing with parse errors:
{{{
{-# LANGUAGE Haskell2010 #-}
module Bug where
bool = - case b of False -> 0; True -> (-1)
}}}
{{{
{-# LANGUAGE Haskell2010 #-}
instance Num (IO a) where
negate = id
main = - do putStrLn "hi!"
}}}
Note the unary `-` signs.
I'm not sure whether we should complicate the parser to fix these, but we
should document the compliance-failure in the manual.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10855>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list