[GHC] #11035: Add implicit call-stacks to partial functions in base
GHC
ghc-devs at haskell.org
Sun Nov 1 04:04:07 UTC 2015
#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.
Yes, that's true. I realized that as I wrote my post, but didn't really
dwell on it. It is 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
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
More information about the ghc-tickets
mailing list