On 06/11/2014 09:56, Simon Peyton Jones wrote:

| Oh, and the reason you have the debug RTS in your compiler is because | `-ticky` implies `-debug

Interesting. I didn't know that. Is that a good idea? Wouldn't it be better to make them independent?

See #3439, as you'll note it was your idea too :) The alternative is worse: if they were separate, then we have to multiply the number of variants of the RTS we currently have by two (non-ticky and ticky). We currently build 6-8 versions of the RTS depending on whether you have profiling on, and if ticky were a separate option it would double that number. You could choose not to build some of the combinations, but then you might be surprised when -ticky doesn't work with some other option. The other part of the rationale is that if you're using -ticky then you're already taking a performance hit from the counters, so adding more overhead, in the form of the extra checks that -debug does, doesn't hurt. Cheers, Simon

Simon

| -----Original Message----- | From: ghc-tickets [mailto:ghc-tickets-bounces@haskell.org] On Behalf | Of GHC | Sent: 06 November 2014 08:37 | Cc: ghc-tickets@haskell.org | Subject: Re: [GHC] #9741: Interpreter stack checks are not quite right | | #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: | | -------------------------------------+-------------------------------- | -- | -------------------------------------+--- | | Comment (by simonmar): | | Oh, and the reason you have the debug RTS in your compiler is because | `-ticky` implies `-debug`. Incidentally this is probably slowing down | your builds quite a lot, so you might want to turn it off. | | -- | Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9741#comment:5 | GHC http://www.haskell.org/ghc/ | The Glasgow Haskell Compiler | _______________________________________________ | ghc-tickets mailing list | ghc-tickets@haskell.org | http://www.haskell.org/mailman/listinfo/ghc-tickets _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs