[GHC] #10491: Regression, simplifier explosion with Accelerate, cannot compile, increasing tick factor is not a workaround

[GHC]

#10491: Regression, simplifier explosion with Accelerate, cannot compile,
increasing tick factor is not a workaround
-------------------------------------+-------------------------------------
        Reporter:  robertce          |                   Owner:
            Type:  bug               |                  Status:  new
        Priority:  highest           |               Milestone:  7.10.2
       Component:  Compiler          |                 Version:  7.10.1
      Resolution:                    |                Keywords:
Operating System:  Unknown/Multiple  |            Architecture:
 Type of failure:  Compile-time      |  Unknown/Multiple
  performance bug                    |               Test Case:
      Blocked By:                    |                Blocking:
 Related Tickets:                    |  Differential Revisions:
-------------------------------------+-------------------------------------

Comment (by bgamari):

 Unfortunately it is a bit tricker bringing
 a6f0f5ab45b2643b561e0a0a54a4f14745ab2152 to `ghc-7.10` than I was hoping
 it would be,

  * We want  a6f0f5ab45b2643b561e0a0a54a4f14745ab2152 (Eliminate so-called
 "silent superclass parameters")
  * Unfortunately this breaks the constraint solver (#10335, manifested
 when compiling `Data.Data` as missing `Typeable` instances)
  * This appears to be fixed in `master` by
 646866ff318d6eb8beeed98032644182dd9d997b (Fix superclass generation in an
 instance)
  * Unfortunately an approximation of this appears to already be present as
 7f24cdd63fbfd69a83f81e85384dc8cb7ef57704

 I haven't yet taken a careful look at able to the patches fixing
 superclass generation.

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