[GHC] #14637: Simplifier Ticks Exhausted when compiling with profiling

GHC ghc-devs at haskell.org
Tue Feb 6 14:37:31 UTC 2018


#14637: Simplifier Ticks Exhausted when compiling with profiling
-------------------------------------+-------------------------------------
        Reporter:  cfhammill         |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.2.2
      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 sighingnow):

 Compile with `inplace/bin/ghc-stage2 --make bug2.hs -prof -fprof-auto-top
 -fforce-recomp -O -fno-s
 trictness -fno-specialise -fno-do-lambda-eta-expansion` then the error
 disappears.

 From trace the most of `tick` calls come from `simplLam` in
 simplCore/Simplify.hs,

 {{{
 simplLam env (bndr:bndrs) body (ApplyToTy { sc_arg_ty = arg_ty, sc_cont =
 cont })
   = do { tick (BetaReduction bndr)
        ; simplLam (extendTvSubst env bndr arg_ty) bndrs body cont }
 }}}

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


More information about the ghc-tickets mailing list