[GHC] #10844: CallStack should not be inlined

GHC ghc-devs at haskell.org
Mon Sep 28 08:27:59 UTC 2015


#10844: CallStack should not be inlined
-------------------------------------+-------------------------------------
        Reporter:  nomeata           |                Owner:  gridaphobe
            Type:  task              |               Status:  patch
        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):  Phab:D1259
-------------------------------------+-------------------------------------

Comment (by simonpj):

 Eric, I'm very suspicious of this.  Making the desugarer more complicated
 to fix a single instance of what is presumably a generic shortcoming in
 the float-out machinery, seems entirely wrong to me.  So you fix
 `CallStacks`, but what about other instances of the same problem?

 I would far rather characterise the problem more carefully and fix it at
 source. It's possible that it is Truly Hard to do that, in which case a
 more ad-hoc fix would be justifiable; but then it would need a careful
 Note to explain why it could not be done generically.

 Could you instead characterise the problem?  You don't need to use call-
 stacks; just write source code that generates the same pattern and lets
 look at it.

 Thanks!

 Simon

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10844#comment:8>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler


More information about the ghc-tickets mailing list