[GHC] #12843: Simplifier ticks exhausted When trying UnfoldingDone $

[GHC]

#12843: Simplifier ticks exhausted When trying UnfoldingDone $
-------------------------------------+-------------------------------------
        Reporter:  MikolajKonarski   |                Owner:
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.0.1
      Resolution:                    |             Keywords:
Operating System:  Linux             |         Architecture:
 Type of failure:  Compile-time      |  Unknown/Multiple
  crash or panic                     |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:  #12776 #12789     |  Differential Rev(s):
  #12675                             |
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by MikolajKonarski):

 Nope. The latter snapshot, where 1000 is not enough, is on a branch. You
 can proceed as in the travis log:

 {{{
 git clone --depth=50 --branch=simplifying-threaded-mode
 https://github.com/LambdaHack/LambdaHack.git LambdaHack/LambdaHack
 }}}

 To skip gtk2hs, which takes long to compile, try the vty version:

 {{{
 cabal install -fvty
 }}}

 You may want to try with each optimization level in turn, because it was
 failing with any.

 For the original, less excessive, example, try this:

 {{{
 git checkout master
 git reset --hard 842070fe78f07e2fb0bce829505dcfa8465ef40f
 cabal install -fvty
 }}}

 BTW, thank you for the fix! I wonder if it also fixes the various
 breakages of INLINE I was reporting in other tickets
 (https://ghc.haskell.org/trac/ghc/ticket/12603 and its Related Tickets).

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