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

[GHC]

#14338: Simplifier fails with "Simplifier ticks exhausted"
-------------------------------------+-------------------------------------
        Reporter:  dredozubov        |                Owner:  bgamari
            Type:  bug               |               Status:  new
        Priority:  high              |            Milestone:  8.4.1
       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 bgamari):

 To reproduce this with `HEAD` you will first need to install cabal-install
 from HEAD (this will only be a few minutes):
 {{{
 $ git clone git://github.com/haskell/Cabal
 $ cd Cabal
 $ cabal install Cabal/ cabal-install/
 }}}
 Now you can reproduce with,
 {{{
 $ git clone git at github.com:bgamari/webapp-template-hs.git
 $ cd webapp-template-hs
 $ export ghc=$PATH_TO_GHC
 $ cabal new-build -w $ghc --only-dependencies
 $ n=9 ./build.sh  -O1 -fsimpl-tick-factor=1000 -v -dverbose-core2core \
     -ddump-to-file -dsuppress-ticks -ddump-simpl-stats \
     -dsuppress-idinfo -dsuppress-coercions
 }}}

 There is also a `./build-all.sh` script which builds all `n`s from 1 to 9,
 dumping the output of each compiler run to a directory of the form
 `./dump-$n/`.

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