Skip to content

-Wprepositive-qualified-module: Suggest turning on ImportQualifiedPost

Summary

Location of documentation issue: GHC warnings

-Wprepositive-qualified-module only recommends prepositive qualification, without mentioning that ImportQualifiedPost is necessary for it. This is in contrast to other warnings (e.g. for MPTC) that identify the necessary extensions to use the relevant syntax.

Proposed improvements or changes

Replace current warning:

Found ‘qualified’ in prepositive position
Suggested fix: place  ‘qualified’ after the module name instead.

by

Found ‘qualified’ in prepositive position
Suggested fix: place  ‘qualified’ after the module name
and enable ImportQualifiedPost instead.

when ImportQualifiedPost isn't turned on

Environment

  • GHC version used (if appropriate): 8.10.1
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information