#3693: Show stack traces -------------------------------------+------------------------------------ Reporter: jpet | Owner: Tarrasch Type: feature request | Status: new Priority: normal | Milestone: 7.10.1 Component: Runtime System | Version: 6.10.4 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by simonpj): Thanks for the heads-up. Can anyone point me to a single write-up of * The basic idea * A specification, as precise as possible. (E.g. given a proposed Core- Core transformation, does the transformation meet the specfification or not? There are a lot of side conditions like "if `tickishSoftScope` then..." in the code.) * An overview of how the implementation works supported by examples. There are lots of related design ideas sketched here [wiki:ExplicitCallStack]. If there's a serious proposal to adopt this one, it would be helpful to have a write up in at least this level of detail, perhaps more. Maybe it exists already. Simon -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/3693#comment:62 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler