#14807: GHC does not pass -dstg-lint
-------------------------------------+-------------------------------------
Reporter: sergv | Owner: (none)
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 8.4.1-alpha3
Keywords: | Operating System: Unknown/Multiple
Architecture: | Type of failure: Building GHC
Unknown/Multiple | failed
Test Case: | Blocked By:
Blocking: | Related Tickets:
Differential Rev(s): | Wiki Page:
-------------------------------------+-------------------------------------
When building ghc-8.4 branch with -dstg-lint enabled I got a GHC panic
error (please see attachment as it's really big). The error is
reproducible on Windows and Debian Linux 64 bit operating systems.
As a side note, it seems that it would be good to enable `-dstg-lint` and
`-dcmm-lint` in `devel2` flavour, and possibly some other flavours, or at
least on CI, so that they will be tested more frequently.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14807>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
#4505: Segmentation fault on long input (list of pairs)
-------------------------------------+-------------------------------------
Reporter: cathper | Owner: (none)
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.0.1
Resolution: | Keywords: Segmentation
| fault, segfault, long input
Operating System: Unknown/Multiple | Architecture: x86_64
Type of failure: GHC rejects | (amd64)
valid program | Test Case:
Blocked By: 4258 | Blocking:
Related Tickets: | Differential Rev(s): Phab:D1180
Wiki Page: |
-------------------------------------+-------------------------------------
Changes (by George):
* priority: high => normal
Comment:
given that it works compiled with -O this doesn't seem high priority. If
anybody disagrees feel free to raise the priority back to high
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4505#comment:52>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
#8258: GHC accepts `data Foo where` in H2010 mode
--------------------------+------------------------------------------------
Reporter: hvr | Owner:
Type: bug | Status: new
Priority: low | Milestone: 7.8.1
Component: | Version: 7.0.4
Compiler | Operating System: Unknown/Multiple
Keywords: | Type of failure: GHC accepts invalid program
Architecture: | Test Case:
Unknown/Multiple | Blocking:
Difficulty: |
Unknown |
Blocked By: |
Related Tickets: |
--------------------------+------------------------------------------------
According to the Haskell2010 report,
The grammar productions relevant for `data` declarations are the
following:
{{{
topdecl → data [context =>] simpletype [= constrs] [deriving]
}}}
(from
[http://www.haskell.org/onlinereport/haskell2010/haskellch4.html#x10-680004.2
4.2.1 Algebraic Datatype Declarations])
However, GHC 7.0.4/7.4.2/7.6.3/HEAD all happily compile the following
Haskell module without any warning when using `-XHaskell2010 -Wall`, even
though this is not valid Haskell2010 afaik:
{{{#!hs
module Foo where
data Foo where
}}}
The trailing `where` in the `data` declaration is not valid Haskell2010
(without language extensions such as `GADT`).
At the very least, this divergence from the Haskell Report should be
mentioned in [http://www.haskell.org/ghc/docs/latest/html/users_guide
/bugs-and-infelicities.html#haskell-standards-divergence 14.1.1.
Divergence from Haskell 98 and Haskell 2010].
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8258>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
