<div dir="ltr">Awesome that's definitely very helpful! I'll be sure to ask again if/when I get stuck.<div><br></div><div>Thanks!!</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Sat, Jun 4, 2016 at 3:20 PM, Ben Gamari <span dir="ltr"><<a href="mailto:ben@smart-cactus.org" target="_blank">ben@smart-cactus.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">Richard Fung <<a href="mailto:minesasecret@gmail.com">minesasecret@gmail.com</a>> writes:<br>
<br>
> Hello! I apologize if this isn't the right place to ask; if it isn't please<br>
> steer me in the right direction.<br>
><br>
</span>Hi Richard!<br>
<span class=""><br>
> Would anyone be willing to advise me on my first ticket? I've been trying<br>
> to work on it on and off but haven't made much progress on my own.<br>
><br>
> It's ticket #9370: <a href="https://ghc.haskell.org/trac/ghc/ticket/9370" rel="noreferrer" target="_blank">https://ghc.haskell.org/trac/ghc/ticket/9370</a><br>
><br>
</span>Great, I'm happy to hear that someone has picked this one up. I think it<br>
is a nice choice for a self-contained newcomers project.<br>
<span class=""><br>
> I think I understand the issue conceptually but I don't know where to look<br>
> for the code that needs to be changed..<br>
><br>
</span>I don't know where the code responsible for this is off the top of my<br>
head, however I can provide some pointers.<br>
<br>
So the unfoldings you are looking to preserve come from interface files.<br>
The machinery for all of this is in compiler/iface. IfaceSyn.hs is of<br>
particular interest and there you will find the definition of<br>
IfaceUnfolding, which is the unfolding representation which is stored in<br>
the interface file. Unfoldings live inside of IdInfo values, which hold<br>
various miscellaneous information which we need to preserve about a<br>
particular Id (identifier).<br>
<br>
There is a somewhat useful comment regarding how IdInfo is treated above<br>
the definition of IfaceIdInfo in IfaceSyn. In particular it seems that<br>
interface files for modules compiled with -O0 will have their IdInfo<br>
fields set to NoInfo. It's not clear what happens when an interface file<br>
is read. However, grepping for NoInfo reveals a use-site in<br>
TcIface.tcIdInfo which looks interesting (in particular the ignore_prags<br>
guard). I think this should be enough to get you going on the interface<br>
file part of this.<br>
<br>
The other part of this ticket is deciding whether to use an unfolding<br>
when considering whether to inline. This will be done in the simplifier<br>
(compiler/simplCore). Grepping for "inline" and "unfold" in<br>
simplCore/Simplify.hs (as well as reading the notes in that file) will<br>
likely be enough to get you started.<br>
<br>
Do let me know if you still feel lost or want to discuss this further. I<br>
look forward to hearing how it goes.<br>
<br>
Cheers,<br>
<br>
- Ben<br>
</blockquote></div><br></div>