[GHC] #9857: GHC 7.9 panics (simplifier ticks exhausted) on `half-0.2`

#9857: GHC 7.9 panics (simplifier ticks exhausted) on `half-0.2` -------------------------------------+------------------------------------- Reporter: hvr | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.9 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Compile- Blocked By: | time crash Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Compiling hackage:half-0.2 results in a GHC Panic: {{{ $ ghc --version && ghc --print-project-git-commit-id The Glorious Glasgow Haskell Compilation System, version 7.9.20141202 bf2d75417b5be7e8a79a26ee57a81e00682dabd4 $ cabal get half-0.2 && cd half-0.2/src/Numeric/ Unpacking to half-0.2/ $ ghc -Wall -O -fforce-recomp -c Half.hs ghc: panic! (the 'impossible' happened) (GHC version 7.9.20141202 for x86_64-unknown-linux): Simplifier ticks exhausted When trying UnfoldingDone lvl_s5yo 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: 125160 Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9857 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#9857: GHC 7.9 panics (simplifier ticks exhausted) on `half-0.2` -------------------------------------+------------------------------------- Reporter: hvr | Owner: simonpj Type: bug | Status: new Priority: high | Milestone: Component: Compiler | Version: 7.9 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: Compile- | Blocked By: time crash | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by hvr): * priority: normal => high Comment: since this is actually a regression to 7.8, I'm increasing the priority to high -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9857#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#9857: GHC 7.9 panics (simplifier ticks exhausted) on `half-0.2` -------------------------------------+------------------------------------- Reporter: hvr | Owner: simonpj Type: bug | Status: new Priority: high | Milestone: Component: Compiler | Version: 7.9 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: Compile- | Blocked By: time crash | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by simonpj): What factor works? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9857#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#9857: GHC 7.9 panics (simplifier ticks exhausted) on `half-0.2` -------------------------------------+------------------------------------- Reporter: hvr | Owner: simonpj Type: bug | Status: new Priority: high | Milestone: Component: Compiler | Version: 7.9 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: Compile- | Blocked By: time crash | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by hvr): I've tried up to `-fsimpl-tick-factor=100000` and it still fails: {{{ $ ghc -Wall -O -fforce-recomp -fsimpl-tick-factor=100000 -c Half.hs ghc: panic! (the 'impossible' happened) (GHC version 7.9.20141202 for x86_64-unknown-linux): Simplifier ticks exhausted When trying UnfoldingDone lvl_s5yo 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: 125160000 Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} does it make sense to try even higher? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9857#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#9857: GHC 7.9 panics (simplifier ticks exhausted) on `half-0.2` -------------------------------------+------------------------------------- Reporter: hvr | Owner: simonpj Type: bug | Status: new Priority: high | Milestone: 7.10.1 Component: Compiler | Version: 7.9 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: Compile- | Blocked By: time crash | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by hvr): * milestone: => 7.10.1 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9857#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#9857: GHC 7.9 panics (simplifier ticks exhausted) on `half-0.2` -------------------------------------+------------------------------------- Reporter: hvr | Owner: simonpj Type: bug | Status: new Priority: high | Milestone: 7.10.1 Component: Compiler | Version: 7.9 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: Compile- | Blocked By: time crash | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by hvr): Supposedly fixed via fbb42b2ea42b6467135f26db47d9c296e7ad75a3 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9857#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#9857: GHC 7.9 panics (simplifier ticks exhausted) on `half-0.2`
-------------------------------------+-------------------------------------
Reporter: hvr | Owner: simonpj
Type: bug | Status: new
Priority: high | Milestone: 7.10.1
Component: Compiler | Version: 7.9
Resolution: | Keywords:
Operating System: | Architecture: Unknown/Multiple
Unknown/Multiple | Difficulty: Unknown
Type of failure: Compile- | Blocked By:
time crash | Related Tickets:
Test Case: |
Blocking: |
Differential Revisions: |
-------------------------------------+-------------------------------------
Comment (by simonpj):
Fixed by this (whose commit message contains a mis-typed ticket number)
{{{
commit fbb42b2ea42b6467135f26db47d9c296e7ad75a3
Author: Simon Peyton Jones

#9857: GHC 7.9 panics (simplifier ticks exhausted) on `half-0.2` -------------------------------------+------------------------------------- Reporter: hvr | Owner: simonpj Type: bug | Status: closed Priority: high | Milestone: 7.10.1 Component: Compiler | Version: 7.9 Resolution: fixed | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: Compile- | Blocked By: time crash | Related Tickets: Test Case: | patsyn/should_compile/T9857 | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by simonpj): * status: new => closed * testcase: => patsyn/should_compile/T9857 * resolution: => fixed -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9857#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC