#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