#9741: Interpreter stack checks are not quite right -------------------------------------+------------------------------------- Reporter: simonpj | Owner: simonmar Type: bug | Status: closed Priority: highest | Milestone: 7.10.1 Component: Compiler | Version: 7.8.3 Resolution: fixed | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by simonmar): * status: new => closed * resolution: => fixed Comment: It turns out that things were working mostly correctly, and there was no danger of a segfault. SpLim has a certain amount of headroom to allow for the space needed to save things when a stack check fails, which is why we appeared to be going over the limit sometimes. The assertion was the bug. However, I did find some other bugs while tracking this down, the patches I committed are: 83cf31e42e87e93eda3e576bc5935509959c2f49 4cd277b4dcb91c6c6aa7e071ef0364570566de37 4cd277b4dcb91c6c6aa7e071ef0364570566de37 e6b38294512896cf55f2d05d09d742d82313f598 081ef2fb351831081bf6851fd3907679b1b98405 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9741#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler