#11330: Test `dynamic-paper` fails with core lint error (hpc) and "Simplifier ticks
exhausted" (optasm)
-------------------------------------+-------------------------------------
Reporter: thomie | Owner:
Type: bug | Status: new
Priority: normal | Milestone: 8.0.1
Component: Compiler | Version: 7.11
Keywords: | Operating System: Unknown/Multiple
Architecture: | Type of failure: None/Unknown
Unknown/Multiple |
Test Case: | Blocked By:
Blocking: | Related Tickets:
Differential Rev(s): | Wiki Page:
-------------------------------------+-------------------------------------
{{{
$ ghc-head --info | grep Project
[("Project name","The Glorious Glasgow Haskell Compilation System")
,("Project version","8.1.20151231")
,("Project Git commit id","8afeaad919dc67643b4eff14efafb48b59039b2b")
}}}
{{{
$ make slowtest TEST=dynamic-paper VERBOSE=2 TEST_HC=ghc-head
...
=====> dynamic-paper(normal) 1 of 1 [0, 0, 0]
=====> dynamic-paper(hpc) 1 of 1 [0, 0, 0]
...
Compile failed (status 256) errors were:
*** Core Lint errors : in result of Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = True})
***
<no location info>: warning:
In a case alternative: (TypeRepX k_s7Ec :: *,
a_s7Ed :: k_a5px,
tr2_s7Ee :: TypeRep a_s7Ed)
@ k_a5px is out of scope
*** Offending Program ***
...
<no location info>: error:
Compilation had errors
*** unexpected failure for dynamic-paper(hpc)
=====> dynamic-paper(optasm) 1 of 1 [0, 1, 0]
Compile failed (status 256) errors were:
ghc: panic! (the 'impossible' happened)
(GHC version 8.1.20151231 for x86_64-unknown-linux):
Simplifier ticks exhausted
When trying UnfoldingDone delta1
To increase the limit, use -fsimpl-tick-factor=N (default 100)
If you need to do this, let GHC HQ know, and what factor you needed
To see detailed counts use -ddump-simpl-stats
Total ticks: 203160
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
*** unexpected failure for dynamic-paper(optasm)
Unexpected results from:
TEST="dynamic-paper"
}}}
This test was added in commit 52da6bdc17bb491d6d2f462b3680eb44b9be92e5:
{{{
Author: Richard Eisenberg