Skip to content

Document some undocumented profiling flags and warning flags, and no-pie

Rachel Shen requested to merge hahohihu/ghc:undocumented_warnings_profile into master

Tracking: #18641

Most of these are deprecated/no-ops/aliases, so not sure if it's actually good to include them in the info pages or not.

edit: forgot to follow the etiquette list - not sure how to add a documentation label and a mileston: @core-libraries

Edited by Rachel Shen

Merge request reports