#11035: Add implicit call-stacks to partial functions in base -------------------------------------+------------------------------------- Reporter: gridaphobe | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by goldfire): Replying to [comment:2 gridaphobe]:
Regarding problem (1): I get the feeling this will require code duplication at the source level, which would be a Bad Thing.
A more heavyweight solution could be to have GHC generate a callstack- free version of each function that takes a CallStack, along with a RULE
Yes, that's true. I realized that as I wrote my post, but didn't really dwell on it. It is a Bad Thing. like you described. Then the source-level duplication is gone, but the desugarer or simplifier becomes more complex. Yes, this is indeed more heavyweight. Worth it? Probably not. I'd love input from someone who knows about the DWARF stuff! -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11035#comment:11 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler