[GHC] #9070: "Simplifier ticks exhausted"
#9070: "Simplifier ticks exhausted" ----------------------------------+------------------------------------- Reporter: dermesser | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: x86_64 (amd64) | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ----------------------------------+------------------------------------- I know nothing more than what GHC said (I'm on debian, installed from the repositories). {{{ (GHC version 7.6.3 for x86_64-unknown-linux): Simplifier ticks exhausted When trying UnfoldingDone base:GHC.Base.$fMonadIO_$c>>={v rJ2} [gid] To increase the limit, use -fsimpl-tick-factor=N (default 100) If you need to do this, let GHC HQ know, and what factor you needed To see detailed counts use -ddump-simpl-stats Total ticks: 31764 }}} The code triggering the error is the code commented out in lines 52-54: {{{ 42 redis_family_raw <- getEnv redisFamilyVar 43 redis_addr <- getEnv redisAddressVar 44 redis_port <- getEnv redisPortVar 45 46 (family,redis_family) <- case (parseFamily family_raw,parseFamily redis_family_raw) of 47 (Just fam, Just rfam) -> return (fam,rfam) 48 x -> fail $ "Unknown address family: " ++ show x 49 50 sockaddr <- getSockAddr family broker_address broker_port_raw 51 52 --redis_conn <- case redis_family of 53 -- WAFamilyInet -> R.connect $ defaultConnectInfo { connectHost = redis_addr, connectPort = Service redis_port } 54 -- WAFamilyUnix -> R.connect $ defaultConnectInfo { connectPort = UnixSocket redis_addr } }}} However, this bug occurs only when compiling with cabal. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9070 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#9070: "Simplifier ticks exhausted" -------------------------------------+---------------------------------- Reporter: dermesser | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: x86_64 (amd64) Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+---------------------------------- Comment (by DinoMorelli): I am seeing this now with a project starting with 7.8.2. I haven't seen any bugs here for this 'Simplifier ticks exhausted' problem with 7.8.2, should I start a new ticket? This is on Arch Linux, 64-bit, ghc installed from the standard repositories (from Extra via pacman) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9070#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#9070: "Simplifier ticks exhausted" -------------------------------------+---------------------------------- Reporter: dermesser | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: x86_64 (amd64) Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+---------------------------------- Comment (by carter): could you provide a link to the full codebase? also could you try building with -fno-full-laziness? (theres a few projects where ghc blows up in 7.8 that are Resolved by building with that flag) is this with O1 or O2? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9070#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#9070: "Simplifier ticks exhausted" -------------------------------------+---------------------------------- Reporter: dermesser | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: x86_64 (amd64) Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+---------------------------------- Comment (by simonpj): Exhausting the ticks isn't a real bug... it's just an indication that your program is doing an unusually large amount of simplification/optimisation work, given its size. That's intriguing (it'd be interesting to know why), but you should feel free to bump up the `-fsimpl-tick-factor` to make the warning go away. Simon -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9070#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#9070: "Simplifier ticks exhausted" -------------------------------------+---------------------------------- Reporter: dermesser | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: x86_64 (amd64) Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+---------------------------------- Comment (by DinoMorelli): carter: The project is epub-metadata. Available on Hackage, but I have already released a newer version with adjusted -fsimpl-tick-factor, so get the prior version: {{{ $ cabal unpack epub-metadata-4.0 }}} The error says: {{{ When trying UnfoldingDone base:GHC.Base.build{v 04} }}} Still fails with just -fno-full-laziness, but the message changes to: {{{ When trying UnfoldingDone hxt-9.3.1.4:Control.Arrow.IOStateListArrow.$fCategory*IOSLA_$c.{v rzUB} }}} Also, I'm not specifying any -O switches at all, I'm not sure what the default optimization level is for GHC. simonpj: I was wondering about that, if this is normal-ish and just requires params. Do you need me to provide more details here, perhaps with `-ddump-simpl- stats` ? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9070#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#9070: "Simplifier ticks exhausted" -------------------------------------+------------------------------------- Reporter: dermesser | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: worksforme | Keywords: Operating System: Unknown/Multiple | Architecture: x86_64 | (amd64) Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by thomie): * status: new => closed * resolution: => worksforme Comment: I compiled epub-metadata-4.0 with ghc-7.8.4, and it required a `-fsimpl- tick-factor` of 110 (the default is 100). I also compiled it with ghc-7.10.2, and then it only required a `-fsimpl-tick-factor` of 10. Case closed. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9070#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC