[GHC] #11330: Test `dynamic-paper` fails with core lint error (hpc) and "Simplifier ticks exhausted" (optasm)

1 Jan 2016


      #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 <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.
 }}}

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11330>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler