[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