Documenting effects that compiler flags have on compilation
GHC should expose a machine-readable description of which flags are relevant to compilation:
They should be tagged if they influence:
- Which programs are accepted
- Which will cause different machine code to be generated
- Which just affect diagnostics
Some other tags may appear to reflect future usages.