docs: remove leftovers of static flags
ClosedPublic

Authored by monoidal on Fri, Jul 6, 11:16 AM.

Details

Summary

Remove "dynamic + :set" category from documentation,
because all dynamic flags support ":set"; this is a
leftover of "static + :set".

Test Plan

make html

Diff Detail

Repository
rGHC Glasgow Haskell Compiler
Lint
Automatic diff as part of commit; lint not applicable.
Unit
Automatic diff as part of commit; unit tests not applicable.
monoidal created this revision.Fri, Jul 6, 11:16 AM

As far as I can tell:

  1. In the past we had static flags and dynamic flags. Static flags were commandline only, dynamic flags could be set from anywhere - commandline, :set and OPTIONS_GHC.
  2. Some static flags were "static + :set", i.e. could be set from commandline or from :set in ghci.
  3. We got rid of static flags (Trac #8440). However, "static + :set" was changed to "dynamic + :set" in docs instead of just "dynamic".

This fixes it and removes some leftovers of static flags in documentation.

osa1 added a subscriber: osa1.Fri, Jul 6, 11:27 AM

Could we also remove :type: fields in ghc-flags?

We distinguish between :type: being mode or dynamic, so I would keep it for now.

mpickering accepted this revision.Fri, Jul 6, 11:40 AM
mpickering added a subscriber: mpickering.

Looks like a good cleanup to me.

This revision is now accepted and ready to land.Fri, Jul 6, 11:40 AM
This revision was automatically updated to reflect the committed changes.