[GHC] #10459: -fsimple-tick-factor required

#10459: -fsimple-tick-factor required -------------------------------------+------------------------------------- Reporter: mikehat | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: fsimple- | Operating System: Linux tick-factor | Type of failure: None/Unknown Architecture: | Blocked By: Unknown/Multiple | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- {{{ ghc: panic! (the 'impossible' happened) (GHC version 7.6.3 for x86_64-unknown-linux): Simplifier ticks exhausted When trying UnfoldingDone base:Foreign.Storable.$fStorableWord8_$cpokeByteOff{v rsA} [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: 10400 }}} -fsimple-tick-factor=115 was required See the 'css' branch of https://github.com/mikehat/blaze-markup.git -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10459 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#10459: -fsimple-tick-factor required -------------------------------------+------------------------------------- Reporter: mikehat | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: | Keywords: fsimple- Operating System: Linux | tick-factor Type of failure: None/Unknown | Architecture: Blocked By: | Unknown/Multiple Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by Henk-Jan): I got almost the same message when compiling package SFML: ~~~~ [34 of 72] Compiling SFML.Graphics.Transform ( dist\dist-sandbox- 12e87adf\build\SFML\Graphics\Transform.hs, dist\dist-sandbox- 12e87adf\build\SFML\Graphics\Transform.o ) ghc.exe: panic! (the 'impossible' happened) (GHC version 7.10.1 for i386-unknown-mingw32): Simplifier ticks exhausted When trying UnfoldingDone $j_s8N2 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: 380264 ~~~~ Setting -fsimpl-tick-factor=20000000 did not help. I am using GHC 7.10.1 on Windows. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10459#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#10459: -fsimple-tick-factor required -------------------------------------+------------------------------------- Reporter: mikehat | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: | Keywords: fsimple- | tick-factor Operating System: Linux | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by thomie): Here is the offending code from the SFML package, comment:1: {{{#!haskell module T10459 where data Transform = Transform { m00 :: !Float, m10 :: !Float, m20 :: !Float , m01 :: !Float, m11 :: !Float, m21 :: !Float , m02 :: !Float, m12 :: !Float, m22 :: !Float } abs_ (Transform a00 a01 a02 a03 a04 a05 a06 a07 a08) = (Transform (abs a00) (abs a01) (abs a02) (abs a03) (abs a04) (abs a05) (abs a06) (abs a07) (abs a08)) }}} Fails with 7.8.4 and higher, but not with 7.6.3. {{{ $ ghc-7.8.4 T10459.hs -fsimpl-tick-factor=200 -O -fforce-recomp [1 of 1] Compiling T10459 ( T10459.hs, T10459.o ) ghc: panic! (the 'impossible' happened) (GHC version 7.8.4 for x86_64-unknown-linux): Simplifier ticks exhausted When trying UnfoldingDone $j_s1vT{v} [lid] 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: 73282 }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10459#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#10459: -fsimple-tick-factor required -------------------------------------+------------------------------------- Reporter: mikehat | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: | Keywords: fsimple- | tick-factor Operating System: Linux | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by thomie): mikehat: I tried for a while to reproduce your problem, but failed up to now. Can you please try again in a cabal sandbox, and provide the following information: * exact commands that result in failure (cabal build? cabal test?) * which commit * which versions of dependencies * cabal version With the following settings I didn't have any problems running `cabal build`: * ghc-7.6.3 * commit ea9ee861d77f4c65543de4e00a8188856ba4d994 without the `-fsimpl- tick-factor=175` in the cabal file * these libraries installed: text-1.2.0.4 blaze-builder-0.3.3.4 * cabal-install 1.22.2.0 Cabal-1.22.2.0 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10459#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#10459: -fsimple-tick-factor required -------------------------------------+------------------------------------- Reporter: mikehat | Owner: Type: bug | Status: infoneeded Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: | Keywords: fsimple- | tick-factor Operating System: Linux | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by thomie): * status: new => infoneeded -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10459#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#10459: -fsimple-tick-factor required -------------------------------------+------------------------------------- Reporter: mikehat | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: worksforme | Keywords: fsimple- | tick-factor Operating System: Linux | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by thomie): * status: infoneeded => closed * resolution: => worksforme Comment: mikehat: as I said in comment:3, I can't reproduce your problem with ghc-7.6. Please reopen if this is still a problem for you. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10459#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC