Hi Richard, Sebastian Thanks for your comments and advice! I'll try to update dump flags' pages :) Thanks a lot, Takenobu On Sat, Feb 6, 2021 at 12:29 AM Sebastian Graf wrote:

Hi Takenobu,

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.

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.

Greetings, Sebastian

Am Fr., 5. Feb. 2021 um 16:09 Uhr schrieb Richard Eisenberg :

...

A quick scroll through didn't reveal anything incorrect in my areas of expertise.

On the "Dump intermediate languages" slide, you might want to mention these flags: -fprint-explicit-kinds: print out kind applications -fprint-explicit-coercions: print out details of coercions -fprint-typechecker-elaboration: print out extra gubbins the type-checker inserts -fprint-explicit-runtime-reps: don't simplify away RuntimeRep arguments

-ddump-ds-preopt: print out the desugared Core before the very first "simple" optimization pass

Thanks for writing & sharing! Richard

...

On Feb 5, 2021, at 7:05 AM, Takenobu Tani wrote:

Dear devs,

I've written a simple document about "GHC source reading" for myself and potential newcomers:

* https://takenobu-hs.github.io/downloads/haskell_ghc_reading_guide.pdf (https://github.com/takenobu-hs/haskell-ghc-reading-guide)

Please teach me if something's wrong. I'll learn and correct them.

Happy Haskelling :)

Regards, Takenobu _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs