[GHC] #14338: Simplifier fails with "Simplifier ticks exhausted"

GHC ghc-devs at haskell.org
Tue Oct 10 15:41:24 UTC 2017


#14338: Simplifier fails with "Simplifier ticks exhausted"
-------------------------------------+-------------------------------------
        Reporter:  dredozubov        |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.2.1
      Resolution:                    |             Keywords:
Operating System:  Linux             |         Architecture:  x86_64
 Type of failure:  Compile-time      |  (amd64)
  crash or panic                     |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by mpickering):

 It seems that the problems are because we are doing lots (and lots (and
 lots)) of inlining of functions which produce and handle coercions.

 Here is the iface file which contains the functions which appear many
 times in the ddump-simpl-stats log.
 https://gist.github.com/mpickering/30adf1e6c61bcfa1462031f947079c10

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


More information about the ghc-tickets mailing list