GHC Reading Guide

[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 <takenobu.hs at 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 at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs