
#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