Generate warnings for Template Haskell splices
dynamic
-fno-enable-th-splice-warnings
Make suggestions for mis-spelled names.
dynamic
soft limit on the number of parallel models the pattern match checker should check a pattern match clause against
dynamic
show which group an emitted warning belongs to.
dynamic
use the C code generator
dynamic
enable normal warnings
dynamic
disable all warnings
dynamic
enable almost all warnings (details in Warnings and sanity-checking)
dynamic
warn when specialisation of any overloaded function fails.
dynamic
-Wno-all-missed-specialisations
alias for -Wall-missed-specialisations
dynamic
-Wno-all-missed-specializations
warn about ambiguous field selectors or updates
dynamic
(deprecated) Does nothing
dynamic
warn when type binding is used at the wrong TH stage.
dynamic
enable future compatibility warnings (details in Warnings and sanity-checking)
dynamic
(deprecated) Report unqualified imports of core libraries which are expected to cause compatibility problems in future releases.
dynamic
-Wno-compat-unqualified-imports
warn on uses of the #if directive on undefined identifiers
dynamic
warn when an illegal use of a type or kind without DataKinds is caught by the typechecker
dynamic
enable default flags
dynamic
warn when an Control.Exception.Context.ExceptionContext implicit parameter is defaulted to Control.Exception.Context.emptyExceptionContext.
dynamic
-Wnop-defaulted-exception-context
-Wdeferred-out-of-scope-variables
Report warnings when variable out-of-scope errors are deferred until runtime. See -fdefer-out-of-scope-variables.
dynamic
-Wno-deferred-out-of-scope-variables
Report warnings when deferred type errors are enabled. This option is enabled by default. See -fdefer-type-errors.
dynamic
warn about uses of commandline flags that are deprecated
dynamic
-Wdeprecated-type-abstractions
warn when type abstractions in constructor patterns are used without enabling TypeApplications
dynamic
-Wno-deprecated-type-abstractions
warn about uses of functions & types that have DEPRECATED pragmas, or WARNING pragmas with the deprecated category.
dynamic
warn about default deriving when using both DeriveAnyClass and GeneralizedNewtypeDeriving
dynamic
warn when Typeable is derived
dynamic
warn about dodgy exports
dynamic
warn about dodgy foreign imports
dynamic
warn about dodgy imports
dynamic
warn when a constraint appears duplicated in a type signature
dynamic
warn when an entity is exported multiple times
dynamic
warn about enumerations that are empty
dynamic
make warnings fatal
dynamic
enable all warnings supported by GHC
dynamic
warn about uses of functions & types that have WARNING or DEPRECATED pragmas, across all categories
dynamic
alias for -W
dynamic
(deprecated) Does nothing
dynamic
warn when pattern matching on a GADT without MonoLocalBinds
dynamic
(deprecated) warn when a .hi file in the current directory shadows a library
dynamic
warn about uses of Prelude numeric conversions that are probably the identity (and hence could be omitted)
dynamic
(deprecated) warn when kind variables are implicitly quantified over.
dynamic
warn about implicit lift in Template Haskell quotes
dynamic
warn when the Prelude is implicitly imported
dynamic
warn when type variables on the RHS of a type synonym are implicitly quantified
dynamic
-Wno-implicit-rhs-quantification
warn about inaccessible code
dynamic
warn when some but not all of exports for a name are warned about
dynamic
-Wno-incomplete-export-warnings
warn when a pattern match could fail
dynamic
warn when a record selector application could fail
dynamic
-Wno-incomplete-record-selectors
warn when a record update could fail
dynamic
-Wno-incomplete-record-updates
warn when a pattern match in a lambda expression, pattern binding or a lazy pattern could fail
dynamic
warn when command line options are inconsistent in some way.
dynamic
warn when an explicitly Safe Haskell module imports a Safe-Inferred one
dynamic
Warn if a rewrite RULE might fail to fire because the function might be inlined before the rule has a chance to fire. See How rules interact with INLINE/NOINLINE pragmas.
dynamic
warn when a Haddock comment occurs in an invalid position
dynamic
(deprecated) warn when creating potentially-loopy superclass constraint evidence
dynamic
warn about uses of file header pragmas in the module body
dynamic
Warn when GHCi can't load a shared lib.
dynamic
warn when specialisation of an imported, overloaded function fails.
dynamic
alias for -Wmissed-specialisations
dynamic
warn when deriving without mentioning a deriving strategy
dynamic
-Wno-missing-deriving-strategies
warn when a module declaration does not explicitly list all exports
dynamic
-Wmissing-exported-pattern-synonym-signatures
warn about pattern synonyms without signatures, only if they are exported
dynamic
-Wno-missing-exported-pattern-synonym-signatures
warn about top-level functions without signatures, only if they are exported
dynamic
-Wno-missing-exported-signatures
(deprecated) warn about top-level functions without signatures, only if they are exported. takes precedence over -Wmissing-signatures
dynamic
warn when fields of a record are uninitialised
dynamic
warn when encountering a home module imported, but not listed on the command line. Useful for cabal to ensure GHC won't pick up modules, not listed neither in exposed-modules, nor in other-modules.
dynamic
warn when an import declaration does not explicitly list all the names brought into scope
dynamic
warn when type declarations don't have kind signatures nor CUSKs
dynamic
warn about polymorphic local bindings without signatures
dynamic
(deprecated) warn about polymorphic local bindings without signatures
dynamic
warn when class methods are undefined
dynamic
(deprecated) Warn when a failable pattern is used in a do-block that does not have a MonadFail instance.
dynamic
-Wno-missing-monadfail-instances
-Wmissing-pattern-synonym-signatures
warn when pattern synonyms do not have type signatures
dynamic
-Wno-missing-pattern-synonym-signatures
-Wmissing-poly-kind-signatures
warn when inferred polykinded type or class declaration don't have kind signatures nor CUSKs
dynamic
-Wno-missing-poly-kind-signatures
warn when type declarations don't have role annotations
dynamic
-Wno-role-annotations-signatures
warn when the Safe Haskell mode is not explicitly specified.
dynamic
-Wno-missing-safe-haskell-mode
warn about top-level functions without signatures
dynamic
(deprecated) Does nothing
dynamic
warn when the Monomorphism Restriction is applied
dynamic
warn when names are shadowed
dynamic
-Wnoncanonical-monad-instances
warn when Applicative or Monad instances have noncanonical definitions of return, pure, (>>), or (*>). See flag description in Warnings and sanity-checking for more details.
dynamic
-Wno-noncanonical-monad-instances
-Wnoncanonical-monadfail-instances
(deprecated) warn when Monad or MonadFail instances have noncanonical definitions of fail.
dynamic
-Wno-noncanonical-monadfail-instances
-Wnoncanonical-monoid-instances
warn when Semigroup or Monoid instances have noncanonical definitions of (<>) or mappend. See flag description in Warnings and sanity-checking for more details.
dynamic
-Wno-noncanonical-monoid-instances
(deprecated) Alias for -w
dynamic
warn on prefix, suffix, and tight infix uses of infix operators
dynamic
-Woperator-whitespace-ext-conflict
warn on uses of infix operators that would be parsed differently were a particular GHC extension enabled
dynamic
-Wno-operator-whitespace-ext-conflict
warn when the module contains orphan instance declarations or rewrite rules
dynamic
warn about literals that will overflow their type
dynamic
warn about overlapping patterns
dynamic
warn when defining a partial record field.
dynamic
warn about holes in partial type signatures when PartialTypeSignatures is enabled. Not applicable when PartialTypeSignatures is not enabled, in which case errors are generated for such holes.
dynamic
-Wprepositive-qualified-module
Report imports with a leading/prepositive "qualified"
dynamic
-Wno-prepositive-qualified-module
Warn about redundant bang patterns.
dynamic
Have the compiler warn about redundant constraints in type signatures.
dynamic
Warn about record wildcard matches when the wildcard binds no patterns.
dynamic
-Wno-redundant-record-wildcards
Warn about redundant strictness flags.
dynamic
-Wno-redundant-strictness-flags
warn if the module being compiled is regarded to be safe.
dynamic
(deprecated) Warn when a Monoid is not Semigroup, and on non-Semigroup definitions of (<>)
dynamic
-Wsimplifiable-class-constraints
Warn about class constraints in a type signature that can be simplified using a top-level instance declaration.
dynamic
-Wno-simplifiable-class-constraints
warn about binding the (*) type operator despite StarIsType
dynamic
warn when * is used to mean Data.Kind.Type
dynamic
warn if there are tabs in the source file
dynamic
warn when an implicitly quantified type variable captures a term's name
dynamic
warn if the module being compiled is marked as Trustworthy but it could instead be marked as Safe, a more informative bound.
dynamic
warn when defaulting happens
dynamic
warn when type equality a ~ b is used despite being out of scope
dynamic
-Wno-type-equality-out-of-scope
-Wtype-equality-requires-operators
warn when type equality a ~ b is used despite being out of scope
dynamic
-Wno-type-equality-requires-operators
Report warnings when typed hole errors are deferred until runtime. See -fdefer-typed-holes.
dynamic
warn on pattern bind of unlifted variable that is neither bare nor banged
dynamic
-Wunicode-bidirectional-format-characters
warn about the usage of unicode bidirectional layout override characters
dynamic
warn about uses of pragmas that GHC doesn't recognise
dynamic
throw a warning when an unrecognised -W... flag is encountered on the command line.
dynamic
-Wno-unrecognised-warning-flags
warn if the module being compiled is regarded to be unsafe. See Safe Haskell
dynamic
-Wunsupported-calling-conventions
warn about use of an unsupported calling convention
dynamic
-Wno-unsupported-calling-conventions
Warn when using -fllvm with an unsupported version of LLVM.
dynamic
-Wunticked-promoted-constructors
warn if promoted constructors are not ticked
dynamic
-Wno-unticked-promoted-constructors
warn about bindings that are unused. Alias for -Wunused-top-binds, -Wunused-local-binds and -Wunused-pattern-binds
dynamic
warn about do bindings that appear to throw away values of types other than ()
dynamic
warn about type variables in user-written forall\s that are unused
dynamic
warn about unnecessary imports
dynamic
warn about local bindings that are unused
dynamic
warn about variables in patterns that aren't used
dynamic
warn when package is requested on command line, but not needed.
dynamic
warn about pattern match bindings that are unused
dynamic
Warn about record wildcard matches when none of the bound variables are used.
dynamic
warn about top-level bindings that are unused
dynamic
warn about unused type variables which arise from patterns in in type family and data family instances
dynamic
warn when a view pattern is used with type signature without explicit parens
dynamic
make warnings non-fatal
dynamic
warn about uses of functions & types that have DEPRECATED pragmas, or WARNING pragmas with the deprecated category. Alias for -Wdeprecations.
dynamic
warn about do bindings that appear to throw away monadic values that you should have bound instead
dynamic
warn about uses of functions & types that have WARNING pragmas with the given category
dynamic
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4