users-guide: Refer to language extension flags via :extension:

Authored by bgamari on Sun, Oct 6, 2:03 PM.

Description

users-guide: Refer to language extension flags via :extension:

Previously several were referred to via :ghc-flag:-X....

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Tue, Oct 8, 4:12 AM
Parents
rGHC397c6ed5ca53: PmCheck: Identify some semantically equivalent expressions
Branches
Unknown
Tags
Unknown