Test `dynamic-paper` fails with core lint error (hpc) and "Simplifier ticks exhausted" (optasm)
$ 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 52da6bdc:
Author: Richard Eisenberg <eir@cis.upenn.edu>
Date: Sat Dec 26 09:11:33 2015 -0500
Have mkCastTy look more closely for reflexivity.
This may have performance implications.Trac metadata
| Trac field | Value |
|---|---|
| Version | 7.11 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | goldfire |
| Operating system | |
| Architecture |