-Wno-unused-matches
-Wmissed-extra-shared-lib
-fno-break-on-exception
-Wno-unbanged-strict-patterns
-Wno-unticked-promoted-constructors
-ddump-cmm-verbose-by-proc
-pgmP ⟨cmd⟩
-funfolding-fun-discount=⟨n⟩
-fno-max-refinement-hole-fits
-dshow-passes
-ddump-rule-rewrites
-Wdeferred-out-of-scope-variables
-v⟨n⟩
-Wunicode-bidirectional-format-characters
-fsort-by-size-hole-fits
-XOverloadedRecordDot
-O2
-fno-opt-coercion
-ddump-asm-expanded
--print-object-splitting-supported
-fbreak-on-error
-fno-block-layout-weightless
-Wunrecognised-warning-flags
-XFlexibleInstances
-Wmissing-local-sigs
-hiedir ⟨dir⟩
--print-build-platform
--version
-Wno-type-defaults
-dppr-debug
-fprof-auto
-fshow-loaded-modules
-ddump-c-backend
-fno-inline-generics-aggressively
-fno-glasgow-exts
-XDeriveDataTypeable
-fprint-bind-result
-pgmlo ⟨cmd⟩
-optdll ⟨option⟩
-fobject-code
--print-debug-on
-Wwarnings-deprecations
-ffun-to-thunk
-fno-ghci-leak-check
-XInstanceSigs
-Wderiving-typeable
-fno-diagnostics-show-caret
-Wno-implicit-kind-vars
-fno-float-in
-XNoPatternGuards
--print-have-interpreter
-fdmd-tx-dict-sel
-ddump-hi
-auto-all
-fno-spec-constr-count
-optP ⟨option⟩
-fno-max-relevant-binds
-ddump-hie
-Wno-partial-type-signatures
-fcatch-bottoms
-ddump-cmm-sp
-Whi-shadowing
-Wunrecognised-pragmas
-fshow-type-app-vars-of-hole-fits
-keep-o-files
-ddump-json
-fno-show-type-app-of-hole-fits
-cpp
-Wdodgy-exports
-Wno-missing-safe-haskell-mode
-keep-hi-files
-fno-stg-lift-lams-known
-Wall-missed-specializations
-fdo-lambda-eta-expansion
-rdynamic
-pgms ⟨cmd⟩
-dep-makefile ⟨file⟩
-fexcess-precision
-Wno-implicit-prelude
-XDeriveLift
-dynamic-too
-Wmissing-deriving-strategies
-Wmissing-local-signatures
-Wno-unused-binds
-ddump-tc-ast
-Wdefault
-Wcpp-undef
-fprint-explicit-kinds
-XQuantifiedConstraints
-mavx512er
-pgma ⟨cmd⟩
-fprint-potential-instances
-ddump-cmm-split
-ticky
-fghci-leak-check
-fstrictness
-dstg-lint
-fmax-valid-hole-fits=⟨n⟩
--mk-dll
-fno-prof-cafs
-dno-typeable-binds
-keep-hc-files
-distrust ⟨pkg⟩
-fno-inline-generics
-pgmc ⟨cmd⟩
-fexpose-all-unfoldings
-Wmissing-import-lists
-Wno-monomorphism-restriction
-XFunctionalDependencies
-debug
-no-keep-o-files
-XGHCForeignImportPrim
--print-libdir
-XStaticPointers
-dasm-lint
-keep-s-file
-fno-specialise-aggressively
-fbinary-blob-threshold=⟨n⟩
-Wnoncanonical-monoid-instances
-fstg-lift-lams
-dverbose-core2core
--show-iface ⟨file⟩
-fsort-valid-hole-fits
-fPIC
-fno-cpr-anal
-Wmonomorphism-restriction
-ddump-simpl-iterations
-fplugin-opt=⟨module⟩:⟨args⟩
-mavx512cd
-Wno-redundant-bang-patterns
-ddump-stg
-Wmissing-methods
-Wunused-record-wildcards
-Wnot
-XGADTSyntax
-funfolding-use-threshold=⟨n⟩
-fno-prof-auto
-fno-sort-valid-hole-fits
-ddump-mod-map
--frontend ⟨module⟩
-Wno-hi-shadowing
-fno-dicts-cheap
-foptimal-applicative-do
-XOverloadedRecordUpdate
-Wincomplete-uni-patterns
-Wstar-binder
-ddump-file-prefix=⟨str⟩
-XImportQualifiedPost
-Wwrong-do-bind
-mavx2
-Wno-missed-specializations
-Wno-semigroup
-optl ⟨option⟩
-ddump-rn
-ddump-hpc
-fno-embed-manifest
-keep-hc-file
-Wno-dodgy-imports
-ghci-script
-fhide-source-paths
-Wno-implicit-lift
-ddump-cmm-cps
--print-global-package-db
-Wall
-ddump-stg-unarised
-user-package-db
-fprof-callers=⟨name⟩
-Wcompat-unqualified-imports
-Wno-missed-extra-shared-lib
-dsuppress-coercions
-ddump-str-signatures
-Wno-tabs
-auto
-i⟨dir⟩[:⟨dir⟩]*
-fno-print-explicit-foralls
-fghci-hist-size=⟨n⟩
-Wsafe
-F
-pgmlibtool ⟨cmd⟩
-main-is ⟨thing⟩
-no-auto-all
-finline-generics
-Wno-redundant-constraints
-fomit-interface-pragmas
-XTrustworthy
-fglasgow-exts
-V
-fno-print-explicit-runtime-reps
-dynload
-XGeneralizedNewtypeDeriving
-Wduplicate-constraints
-Wno-unused-record-wildcards
-XUnliftedDatatypes
-ddump-rule-firings
-fno-enable-rewrite-rules
-fno-print-explicit-coercions
-fenable-rewrite-rules
-fprint-unicode-syntax
-XPostfixOperators
-fcase-merge
-fno-show-docs-of-hole-fits
-Wno-duplicate-constraints
-XUnboxedSums
-drule-check=⟨str⟩
-Wunticked-promoted-constructors
-XHaskell98
-ignore-dot-ghci
-dylib-install-name ⟨path⟩
-fpedantic-bottoms
-XNamedFieldPuns
-XRoleAnnotations
-fignore-asserts
-XUnsafe
-dppr-cols=⟨n⟩
-dynosuf ⟨suffix⟩
-fno-stg-cse
-no-ignore-dot-ghci
-fno-regs-iterative
-Wno-missing-exported-signatures
-?
-fno-dmd-tx-dict-sel
-Wmissed-specializations
-ddump-cmm-raw
-pgmc-supports-no-pie
-ghcversion-file ⟨path to ghcversion.h⟩
-Wno-overflowed-literals
-Wno-redundant-record-wildcards
-fno-unbox-small-strict-fields
-XStandaloneDeriving
-fno-spec-constr-threshold
-Wno-unused-packages
-fno-static-argument-transformation
-ddump-ds
-fno-abstract-refinement-hole-fits
-keep-llvm-files
-Wno-missing-pattern-synonym-signatures
-floopification
-XBangPatterns
-fno-ignore-optim-changes
-XDefaultSignatures
--print-rts-ways
-XLiberalTypeSynonyms
-Wno-noncanonical-monad-instances
-Wno-deferred-type-errors
-fblock-layout-weightless
-fsolve-constant-dicts
-fhpc
-keep-tmp-files
-fspec-constr-threshold=⟨n⟩
-ddump-cmm-switch
-fllvm
-Wno-incomplete-record-updates
-dsuppress-stg-free-vars
-i
-fomit-yields
-Wunused-top-binds
-ddump-timings
-Wno-missing-export-lists
-fno-cmm-sink
-dinitial-unique=⟨s⟩
-fno-helpful-errors
-Wno-all-missed-specialisations
-fno-defer-type-errors
-falignment-sanitisation
--info
--print-c-compiler-flags
-Wtabs
-ddump-parsed-ast
-Wno-operator-whitespace
-fcse
-XPartialTypeSignatures
-XStandaloneKindSignatures
-Wno-star-binder
-fno-code
-fno-print-bind-result
-ffull-laziness
-ddump-cmm-caf
-plugin-package-id ⟨pkg-id⟩
-dunique-increment=⟨i⟩
-XMonadComprehensions
-fno-cmm-elim-common-blocks
-Wdodgy-imports
--exclude-module=⟨file⟩
-fno-late-specialise
-no-rtsopts-suggestions
-keep-hscpp-file
-fstg-lift-lams-rec-args
-XGHC2021
-Wno-wrong-do-bind
-fno-defer-out-of-scope-variables
--print-leading-underscore
-stubdir ⟨dir⟩
-include-cpp-deps
-XHaskell2010
-fno-no-it
-distrust-all-packages
-Wno-unrecognised-warning-flags
-fmax-uncovered-patterns=⟨n⟩
-fliberate-case-threshold=⟨n⟩
-dsuppress-all
-fno-print-potential-instances
-XStrictData
-fexternal-interpreter
-Wsimplifiable-class-constraints
-fsimpl-tick-factor=⟨n⟩
-XDerivingStrategies
-ticky-dyn-thunk
-fblock-layout-weights
--print-host-platform
-XInterruptibleFFI
-XBlockArguments
-fmax-inline-memcpy-insns=⟨n⟩
-Wall-missed-specialisations
-Wno-simplifiable-class-constraints
-fdicts-strict
-Wmissing-safe-haskell-mode
-Wmissing-pattern-synonym-signatures
-hcsuf ⟨suffix⟩
-fno-exitification
-XNamedWildCards
-fno-cmm-static-pred
-Widentities
-fclear-plugins
-dsuppress-var-kinds
-fprint-axiom-incomps
-optc ⟨option⟩
-Wno-missing-kind-signatures
-Wno-orphans
-l ⟨lib⟩
-ddump-tc-trace
-staticlib
-fPIE
-fplugin=⟨module⟩
-fno-show-provenance-of-hole-fits
-fno-asm-shortcutting
-Wno-dodgy-foreign-imports
-XStarIsType
-dhex-word-literals
-fno-show-type-of-hole-fits
-fwrite-interface
-XTypeApplications
-fno-do-eta-reduction
-Wincomplete-patterns
-ddump-rn-stats
-XNullaryTypeClasses
-Wno-partial-fields
-fliberate-case
-x ⟨suffix⟩
-fprof-auto-exported
-g
-opta ⟨option⟩
-fno-call-arity
-pgmlm ⟨cmd⟩
-fignore-interface-pragmas
-fllvm-fill-undef-with-garbage
-fno-show-hole-matches-of-hole-fits
-fno-print-equality-relations
-hide-all-plugin-packages
-dsuppress-timestamps
-ddump-asm-liveness
-Wduplicate-exports
-no-pie
--make
-fno-cse
-pgmotool ⟨cmd⟩
-fexitification
-optlc ⟨option⟩
-frefinement-level-hole-fits=⟨n⟩
-dumpdir ⟨dir⟩
-Wno-identities
-XTypeInType
-fno-fun-to-thunk
-funbox-small-strict-fields
-Wmissed-specialisations
-Wno-incomplete-patterns
-Wno-incomplete-uni-patterns
-Wpartial-type-signatures
-optlo ⟨option⟩
-Wunused-do-bind
-Wunused-packages
-fdefer-diagnostics
-ddump-inlinings
-ddump-worker-wrapper
-split-objs
-Wno-missing-local-sigs
-XUnliftedFFITypes
-Wincomplete-record-updates
-ddump-if-trace
-flocal-ghci-history
-XDeriveTraversable
-XOverloadedLabels
-ddump-ticked
-fprint-explicit-runtime-reps
-global-package-db
-Wtyped-holes
-fno-reverse-errors
-fstatic-argument-transformation
-Wno-inaccessible-code
-fno-expose-all-unfoldings
-fno-regs-graph
-XDatatypeContexts
-Wno-deprecations
-fshow-docs-of-hole-fits
-haddock
-dppr-user-length
-Wno-typed-holes
-Wno-inferred-safe-imports
-fprint-equality-relations
-XUndecidableSuperClasses
-dyno ⟨file⟩
-fno-pedantic-bottoms
--print-project-version
-Wno-compat
--print-unregisterised
-fcross-module-specialise
-dfaststring-stats
-Wmissing-home-modules
-fno-strictness
-XNoMonomorphismRestriction
-O0
-dsuppress-type-applications
-dsuppress-ticks
-ddump-rn-trace
-keep-llvm-file
-XUnliftedNewtypes
-XTypeFamilyDependencies
-Woverlapping-patterns
-w
-fcmm-static-pred
-Wno-missing-fields
-fspec-constr-keen
-mavx512f
-Wwarn
-Wno-deferred-out-of-scope-variables
-Woverflowed-literals
-fno-safe-haskell
-fcmm-sink
-flate-specialise
-msse2
-XTemplateHaskellQuotes
-ddump-stranal
-fno-force-recomp
-XUnicodeSyntax
-XOverloadedStrings
-fstg-lift-lams-rec-args-any
-XPackageImports
-fno-it
-Wempty-enumerations
-fno-ignore-interface-pragmas
-fstg-cse
-Wpartial-fields
-Wtype-defaults
-package ⟨name⟩
-ddump-cmm-info
-Wunused-binds
-ddump-prep
--print-have-native-code-generator
-XRecursiveDo
-fignore-optim-changes
--help
-fno-omit-interface-pragmas
-Wimplicit-prelude
-e ⟨expr⟩
-fexternal-dynamic-refs
-fdicts-cheap
-Wno-missing-home-modules
-fno-state-hack
-ddump-hi-diffs
-fprint-expanded-synonyms
-funfolding-keeness-factor=⟨n⟩
-fno-cross-module-specialise
-XSafe
-fprof-cafs
-mbmi
-Woperator-whitespace-ext-conflict
-XDeriveFoldable
-fforce-recomp
-Wmissing-signatures
-fabstract-refinement-hole-fits
-optcxx ⟨option⟩
-ddump-llvm
-XRebindableSyntax
-fpackage-trust
-XConstrainedClassMethods
-fsimplifier-phases=⟨n⟩
-finfo-table-map
-dsuppress-unfoldings
-Wno-dodgy-exports
-funfolding-creation-threshold=⟨n⟩
-XStrict
-XMagicHash
-XNondecreasingIndentation
-fno-print-explicit-kinds
-fstg-lift-lams-non-rec-args
-Wno-deriving-defaults
-Wredundant-record-wildcards
-fuse-rpaths
-XMonoLocalBinds
-ddump-core-stats
-ddump-rn-ast
-fmax-inline-alloc-size=⟨n⟩
-Werror
-ffamily-application-cache
-Wno-unused-foralls
-Wnoncanonical-monad-instances
-XDeriveFunctor
-Wimplicit-lift
-XDeepSubsumption
-Wno-overlapping-patterns
-ddump-cmm-from-stg
-package-db ⟨file⟩
-fno-full-laziness
-ddump-cmm-proc
-no-haddock
-pgmwindres ⟨cmd⟩
-fspecialise
--print-ld-flags
-dcmm-lint
-shared
-threaded
-fspec-constr-count=⟨n⟩
-XLexicalNegation
-dsuppress-type-signatures
-XCUSKs
-Wmissing-export-lists
-Wno-invalid-haddock
-Winferred-safe-imports
-Wtrustworthy-safe
-ddump-asm
-Wno-operator-whitespace-ext-conflict
-tmpdir ⟨dir⟩
-XPatternSynonyms
-fdiagnostics-color=⟨always|auto|never⟩
-XDeriveGeneric
-fdefer-type-errors
-Winline-rule-shadowing
-ddump-types
-XNumDecimals
-osuf ⟨suffix⟩
-Rghc-timing
--print-tables-next-to-code
-fexpose-internal-symbols
-U⟨symbol⟩
-fignore-hpc-changes
-XForeignFunctionInterface
-Wdeprecations
-fspec-constr
-Wderiving-defaults
-Wno-missing-local-signatures
-fno-shared-implib
-no-keep-hi-files
--run ⟨file⟩
-fhelpful-errors
-Wredundant-bang-patterns
-XRank2Types
-XLambdaCase
-fno-stg-lift-lams
-Wno-missed-specialisations
-fdefer-out-of-scope-variables
-XOverloadedLists
-fstg-lift-lams-non-rec-args-any
-pgmi ⟨cmd⟩
-package-id ⟨unit-id⟩
-XDataKinds
-Wno-unused-local-binds
-XNegativeLiterals
-dppr-case-as-let
-fproc-alignment
-I⟨dir⟩
-rtsopts[=⟨none|some|all|ignore|ignoreAll⟩]
-O
-Wno-noncanonical-monadfail-instances
-keep-s-files
-fstrictness-before=⟨n⟩
-Wdodgy-foreign-imports
-ddump-occur-anal
-XTypeOperators
-Wno-unused-top-binds
-XGADTs
-ddump-cmm-procmap
-ddump-splices
-Wunused-imports
-XKindSignatures
-XEmptyCase
-fno-ignore-asserts
-XEmptyDataDecls
-Wextra
-pgml ⟨cmd⟩
-fmax-pmcheck-models=⟨n⟩
-ddump-cse
-fno-show-type-app-vars-of-hole-fits
-split-sections
-Woperator-whitespace
-ddump-spec
-O1
-Wdeprecated-flags
-Wunused-local-binds
-XNoImplicitPrelude
-hisuf ⟨suffix⟩
-Wunsupported-llvm-version
-fvia-C
-D⟨symbol⟩[=⟨value⟩]
-ddump-tc
-ddump-deriv
-fenable-th-splice-warnings
-ddump-ec-trace
-Wmissing-fields
-dsuppress-module-prefixes
-XTupleSections
-fblock-layout-cfg
--print-stage
-fprof-auto-top
-fasm-shortcutting
-XViewPatterns
-no-caf-all
-Wnoncanonical-monadfail-instances
-Wno-missing-import-lists
-Wmissing-exported-sigs
-eventlog
-opti ⟨option⟩
-S
-fno-liberate-case
--print-support-smp
-ddump-rtti
-fcmm-elim-common-blocks
-fno-dicts-strict
-Wunused-foralls
-Wunbanged-strict-patterns
-Wstar-is-type
-Wno-missing-deriving-strategies
-mavx512pf
-Winaccessible-code
-mavx
-funclutter-valid-hole-fits
-pie
-fcase-folding
-XCApiFFI
-fno-do-lambda-eta-expansion
-XImpredicativeTypes
-fwrite-ide-info
-funbox-strict-fields
-dynohi ⟨file⟩
-XRankNTypes
-freverse-errors
-fllvm-pass-vectors-in-regs
-fno-solve-constant-dicts
-Wno-unrecognised-pragmas
-ddump-cmm-verbose
-dno-debug-output
-ddump-asm-regalloc-stages
-ddump-foreign
-fdiagnostics-show-caret
-optwindres ⟨option⟩
-Wno-unused-do-bind
-g⟨n⟩
-ddump-cfg-weights
-O⟨n⟩
-fno-omit-yields
-v
-H ⟨size⟩
-Wno-noncanonical-monoid-instances
-ferror-spans
-feager-blackholing
-Winvalid-haddock
-fcpr-anal
-pgmdll ⟨cmd⟩
-ddump-ds-preopt
-fmax-worker-args=⟨n⟩
-M
-ddump-cmm
-XNumericUnderscores
-ddebug-output
--print-c-compiler-link-flags
-fcheck-prim-bounds
-optF ⟨option⟩
-XTransformListComp
-XNoTraditionalRecordSyntax
-fbreak-on-exception
-outputdir ⟨dir⟩
-fno-block-layout-cfg
-Wno-unsafe
-fregs-iterative
-trust ⟨pkg⟩
-Wauto-orphans
-fno-print-axiom-incomps
-fmax-inline-memset-insns=⟨n⟩
-fkeep-going
-fno-show-warning-groups
-hiesuf ⟨suffix⟩
-fno-late-dmd-anal
-Wno-unsupported-calling-conventions
-this-unit-id ⟨unit-id⟩
-no-user-package-db
-XDuplicateRecordFields
-fno-max-valid-hole-fits
-fprint-explicit-foralls
-fwhole-archive-hs-libs
-fprint-typechecker-elaboration
-fno-unbox-strict-fields
-msse4.2
-fdefer-typed-holes
-ohi ⟨file⟩
-Wimplicit-kind-vars
-ddump-opt-cmm
-plugin-package ⟨pkg⟩
-fshow-type-app-of-hole-fits
-XFlexibleContexts
-L ⟨dir⟩
-ddump-cpranal
-Wno-safe
-W
-Wno-compat-unqualified-imports
-dep-suffix ⟨suffix⟩
-XQualifiedDo
-XTypeFamilies
-pgmlc ⟨cmd⟩
-dsuppress-uniques
-msse
-XPolyKinds
-XIncoherentInstances
-XQuasiQuotes
-pgmF ⟨cmd⟩
-fno-case-folding
-fdo-eta-reduction
-Worphans
-hide-all-packages
-fno-break-on-error
-prof
-fstg-lift-lams-known
-Wno-star-is-type
-Wdeferred-type-errors
-fbyte-code
-XOverlappingInstances
-XConstraintKinds
-Wunused-pattern-binds
-ddump-stg-from-core
-fmax-relevant-binds=⟨n⟩
-XParallelListComp
-with-rtsopts=⟨opts⟩
-keep-hscpp-files
-ddump-parsed
-j[⟨n⟩]
-flink-rts
-fno-spec-constr
-funfolding-case-scaling=⟨n⟩
-ddump-asm-native
-dth-dec-file
-fno-local-ghci-history
-dlinear-core-lint
-interactive-print ⟨name⟩
-fno-print-unicode-syntax
-flate-dmd-anal
-Wno-missing-exported-sigs
-XDerivingVia
-XGeneralisedNewtypeDeriving
-Wno-deprecated-flags
-fno-sort-by-subsumption-hole-fits
-ddump-cmm-opt
-fno-spec-constr-keen
-fno-prof-count-entries
-Wno-empty-enumerations
-XDisambiguateRecordFields
-ddump-simpl-stats
-Wmissing-monadfail-instances
-Wno-inline-rule-shadowing
-fshow-warning-groups
-XFieldSelectors
-hidir ⟨dir⟩
-XUndecidableInstances
-fregs-graph
-fvalidate-ide-info
-no-hs-main
-XLinearTypes
-fno-enable-th-splice-warnings
-fno-liberate-case-threshold
-Wmissing-exported-signatures
-fshow-provenance-of-hole-fits
-XDeriveAnyClass
-caf-all
-Wno-missing-monadfail-instances
-Wunused-type-patterns
-ddump-mod-cycles
-ticky-allocd
-XImplicitParams
-ddump-asm-regalloc
-XAllowAmbiguousTypes
-fsort-by-subsumption-hole-fits
-fno-gen-manifest
-XExplicitForAll
-optL ⟨option⟩
-Wprepositive-qualified-module
-fno-case-merge
-ddump-cmm-sink
-ddump-to-file
-XNPlusKPatterns
-no-auto
-ddump-rules
-Wno-missing-signatures
-XScopedTypeVariables
-fno-optimal-applicative-do
-Wunused-matches
-XMultiWayIf
-Wmissing-space-after-bang
-Wno-warnings-deprecations
-fdistinct-constructor-tables
-no-auto-link-packages
-fno-specialise
-finline-generics-aggressively
-include-pkg-deps
-Wambiguous-fields
-XTemplateHaskell
--print-booter-version
-Wno-unused-pattern-binds
-Wsemigroup
-ddump-minimal-imports
-pgminstall_name_tool ⟨cmd⟩
-funfolding-case-threshold=⟨n⟩
--numeric-version
-fshow-type-of-hole-fits
--show-options
-ddump-asm-stats
-Wno-name-shadowing
-XRecordWildCards
-dcore-lint
-ffloat-in
-XApplicativeDo
-fno-show-valid-hole-fits
-pgmL ⟨cmd⟩
-XExplicitNamespaces
-E
-Wno-all-missed-specializations
-XMultiParamTypeClasses
-ddump-stg-final
-clear-package-db
-fno-loopification
-XCPP
-Wunsupported-calling-conventions
-Wno-duplicate-exports
-msse3
-Wno-deriving-typeable
-fno-print-expanded-synonyms
-odir ⟨dir⟩
-framework ⟨name⟩
-fno-ignore-hpc-changes
-fprof-auto-calls
-fkeep-cafs
-dinline-check=⟨str⟩
-Wunsafe
-fshow-hole-matches-of-hole-fits
-package-env ⟨file⟩|⟨name⟩
-dverbose-stg2stg
-fmax-refinement-hole-fits=⟨n⟩
-fshow-hole-constraints
-msse4
-Wname-shadowing
-XBinaryLiterals
-ddump-cpr-signatures
-ddump-faststrings
-XExtendedDefaultRules
-fno-refinement-level-hole-fits
-fworker-wrapper
-dynhisuf ⟨suffix⟩
-Wno-unused-type-patterns
-package ⟨pkg⟩
-fno-excess-precision
-fno-print-typechecker-elaboration
-hide-package ⟨pkg⟩
-Wcompat
-ignore-package ⟨pkg⟩
--print-project-git-commit-id
-Wno-prepositive-qualified-module
-fno-defer-typed-holes
-fno-sort-by-size-hole-fits
-Weverything
-dsuppress-idinfo
-XTypeSynonymInstances
-dynamic
-fcall-arity
-ddump-bcos
-optlm ⟨option⟩
-XArrows
-C
-framework-path ⟨dir⟩
-XUnboxedTuples
-fno-pre-inlining
-fmax-simplifier-iterations=⟨n⟩
-c
-funfolding-dict-discount=⟨n⟩
-no-global-package-db
-Wmissing-kind-signatures
--supported-languages
-XExistentialQuantification
-ddump-simpl
-ddump-cmm-cbe
-o ⟨file⟩
--print-target-platform
-fasm
-ddump-cmm-cfg
-fprof-count-entries
-fplugin-trustworthy
-mbmi2
-fspecialise-aggressively
-XEmptyDataDeriving
-Wno-missing-methods
-fprint-explicit-coercions
-fno-family-application-cache
-static
-XHexFloatLiterals
--interactive
-Wredundant-constraints
-fcompact-unwind
-fprint-evld-with-show
--supported-extensions
-Wno-unused-imports