<div dir="ltr"><div>Hi Takenobu,</div><div><br></div><div>thanks for updating that resource! I know that it was helpful to a couple of students of mine to get a big picture of GHC.</div><div><br></div><div>I don't have anything to add. There are quite a few more -ddump-* flags for the different Core passes, but I don't think it's interesting to list all of them on that slide.</div><div><br></div><div>Greetings,</div><div>Sebastian<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Am Fr., 5. Feb. 2021 um 16:09 Uhr schrieb Richard Eisenberg <<a href="mailto:rae@richarde.dev">rae@richarde.dev</a>>:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">A quick scroll through didn't reveal anything incorrect in my areas of expertise.<br>
<br>
On the "Dump intermediate languages" slide, you might want to mention these flags:<br>
 -fprint-explicit-kinds: print out kind applications<br>
 -fprint-explicit-coercions: print out details of coercions<br>
 -fprint-typechecker-elaboration: print out extra gubbins the type-checker inserts<br>
 -fprint-explicit-runtime-reps: don't simplify away RuntimeRep arguments<br>
<br>
 -ddump-ds-preopt: print out the desugared Core before the very first "simple" optimization pass<br>
<br>
Thanks for writing & sharing!<br>
Richard<br>
<br>
> On Feb 5, 2021, at 7:05 AM, Takenobu Tani <<a href="mailto:takenobu.hs@gmail.com" target="_blank">takenobu.hs@gmail.com</a>> wrote:<br>
> <br>
> Dear devs,<br>
> <br>
> I've written a simple document about "GHC source reading" for myself<br>
> and potential newcomers:<br>
> <br>
>  * <a href="https://takenobu-hs.github.io/downloads/haskell_ghc_reading_guide.pdf" rel="noreferrer" target="_blank">https://takenobu-hs.github.io/downloads/haskell_ghc_reading_guide.pdf</a><br>
>    (<a href="https://github.com/takenobu-hs/haskell-ghc-reading-guide" rel="noreferrer" target="_blank">https://github.com/takenobu-hs/haskell-ghc-reading-guide</a>)<br>
> <br>
> Please teach me if something's wrong. I'll learn and correct them.<br>
> <br>
> Happy Haskelling :)<br>
> <br>
> Regards,<br>
> Takenobu<br>
> _______________________________________________<br>
> ghc-devs mailing list<br>
> <a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
<br>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</blockquote></div>