#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): Regarding HEAD build failures, I have the same problem with TH and HEAD on travis (https://travis-ci.org/LambdaHack/LambdaHack/jobs/177586413). I just ran it with -v2 flag for cabal, to get some more info: https://api .travis-ci.org/jobs/179766413/log.txt?deansi=true There are some panics there that may be of interest to GHC hackers. The package template-haskell seems to be required by free-4.12.4 bifunctors-5.4.1 aeson-1.0.2.1 enummapset-th-0.6.1.1 exceptions-0.8.3 functor-infix-0.0.4 tagged-0.8.5 Of these, e.g., https://hackage.haskell.org/package/functor-infix depends on (>=2.8 && <2.12), so that may be the reason for reinstallation. I don't see the problem with parsec in my log, perhaps because parsec is only needed with the -fvty flag. The travis log above is from a build with no flags (it uses gtk2hs). Yet another option is -fcurses, but it won't help with template-haskell, unfortunately. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12843#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler