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 <takenobu...@gmail.com> 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