[GHC] #11035: Add implicit call-stacks to partial functions in base

[GHC]

#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