diff options
Diffstat (limited to 'haskell/ghc/ghc.1')
| -rw-r--r-- | haskell/ghc/ghc.1 | 2061 |
1 files changed, 2061 insertions, 0 deletions
diff --git a/haskell/ghc/ghc.1 b/haskell/ghc/ghc.1 new file mode 100644 index 0000000000..aa378816a0 --- /dev/null +++ b/haskell/ghc/ghc.1 @@ -0,0 +1,2061 @@ +.\" Man page generated from reStructuredText. +. +.TH "GHC" "1" "May 20, 2018" "8.4.3" "Glasgow Haskell Compiler" +.SH NAME +ghc \- the Glasgow Haskell Compiler +. +.nr rst2man-indent-level 0 +. +.de1 rstReportMargin +\\$1 \\n[an-margin] +level \\n[rst2man-indent-level] +level margin: \\n[rst2man-indent\\n[rst2man-indent-level]] +- +\\n[rst2man-indent0] +\\n[rst2man-indent1] +\\n[rst2man-indent2] +.. +.de1 INDENT +.\" .rstReportMargin pre: +. RS \\$1 +. nr rst2man-indent\\n[rst2man-indent-level] \\n[an-margin] +. nr rst2man-indent-level +1 +.\" .rstReportMargin post: +.. +.de UNINDENT +. RE +.\" indent \\n[an-margin] +.\" old: \\n[rst2man-indent\\n[rst2man-indent-level]] +.nr rst2man-indent-level -1 +.\" new: \\n[rst2man-indent\\n[rst2man-indent-level]] +.in \\n[rst2man-indent\\n[rst2man-indent-level]]u +.. +.SH SYNOPSIS +.INDENT 0.0 +.INDENT 3.5 +.sp +.nf +.ft C +ghc [option|filename] +ghci [option|filename] +.ft P +.fi +.UNINDENT +.UNINDENT +.SH DESCRIPTION +.sp +This manual page documents briefly the \fBghc\fP and \fBghci\fP commands. Note that +\fBghci\fP is not yet available on all architectures. Extensive documentation is +available in various other formats including PDF and HTML; see below. +.sp +Each of GHC\(aqs command line options is classified as either \fIstatic\fP or +\fIdynamic\fP\&. A static flag may only be specified on the command line, whereas a +dynamic flag may also be given in an \fBOPTIONS\fP pragma in a source file or +set from the GHCi command\-line with \fB:set\fP . +.sp +As a rule of thumb, all the language options are dynamic, as are the +warning options and the debugging options. +.sp +The rest are static, with the notable exceptions of +\fB\-v\fP, \fB\-cpp\fP, \fB\-fasm\fP, \fB\-fvia\-C\fP, \fB\-fllvm\fP, and +\fB\-#include\fP\&. +The OPTIONS sections lists the status of each flag. +.sp +Common suffixes of file names for Haskell are: +.INDENT 0.0 +.TP +.B \fB\&.hs\fP +Haskell source code; preprocess, compile +.TP +.B \fB\&.lhs\fP +literate Haskell source; unlit, preprocess, compile +.TP +.B \fB\&.hi\fP +Interface file; contains information about exported symbols +.TP +.B \fB\&.hc\fP +intermediate C files +.TP +.B \fB\&.⟨way⟩_o\fP +object files for "way" ⟨way⟩; common ways are: +.INDENT 7.0 +.TP +.B \fBdyn\fP +dynamically\-linked +.TP +.B \fBp\fP +built with profiling +.UNINDENT +.TP +.B \fB\&.⟨way⟩_hi\fP +interface files for "way" ⟨way⟩; common ways are: +.UNINDENT +.SH OPTIONS +.TP +.B Code generation +\fB\-dynamic\-too\fP \fB\-fasm\fP \fB\-fbyte\-code\fP \fB\-fllvm\fP \fB\-fno\-code\fP \fB\-fobject\-code\fP \fB\-fPIC\fP \fB\-fPIE\fP \fB\-fwrite\-interface\fP +.TP +.B Debugging the compiler +\fB\-dcmm\-lint\fP \fB\-dcore\-lint\fP \fB\-ddump\-asm\fP \fB\-ddump\-asm\-expanded\fP \fB\-ddump\-asm\-liveness\fP \fB\-ddump\-asm\-native\fP \fB\-ddump\-asm\-regalloc\fP \fB\-ddump\-asm\-regalloc\-stages\fP \fB\-ddump\-asm\-stats\fP \fB\-ddump\-bcos\fP \fB\-ddump\-cmm\fP \fB\-ddump\-cmm\-caf\fP \fB\-ddump\-cmm\-cbe\fP \fB\-ddump\-cmm\-cfg\fP \fB\-ddump\-cmm\-cps\fP \fB\-ddump\-cmm\-from\-stg\fP \fB\-ddump\-cmm\-info\fP \fB\-ddump\-cmm\-proc\fP \fB\-ddump\-cmm\-procmap\fP \fB\-ddump\-cmm\-raw\fP \fB\-ddump\-cmm\-sink\fP \fB\-ddump\-cmm\-sp\fP \fB\-ddump\-cmm\-split\fP \fB\-ddump\-cmm\-switch\fP \fB\-ddump\-cmm\-verbose\fP \fB\-ddump\-core\-stats\fP \fB\-ddump\-cse\fP \fB\-ddump\-deriv\fP \fB\-ddump\-ds\fP \fB\-ddump\-ec\-trace\fP \fB\-ddump\-foreign\fP \fB\-ddump\-if\-trace\fP \fB\-ddump\-inlinings\fP \fB\-ddump\-json\fP \fB\-ddump\-llvm\fP \fB\-ddump\-occur\-anal\fP \fB\-ddump\-opt\-cmm\fP \fB\-ddump\-parsed\fP \fB\-ddump\-parsed\-ast\fP \fB\-ddump\-prep\fP \fB\-ddump\-rn\fP \fB\-ddump\-rn\-ast\fP \fB\-ddump\-rn\-stats\fP \fB\-ddump\-rn\-trace\fP \fB\-ddump\-rule\-firings\fP \fB\-ddump\-rule\-rewrites\fP \fB\-ddump\-rules\fP \fB\-ddump\-simpl\fP \fB\-ddump\-simpl\-iterations\fP \fB\-ddump\-simpl\-stats\fP \fB\-ddump\-spec\fP \fB\-ddump\-splices\fP \fB\-ddump\-stg\fP \fB\-ddump\-str\-signatures\fP \fB\-ddump\-stranal\fP \fB\-ddump\-tc\fP \fB\-ddump\-tc\-ast\fP \fB\-ddump\-tc\-trace\fP \fB\-ddump\-timings\fP \fB\-ddump\-to\-file\fP \fB\-ddump\-types\fP \fB\-ddump\-vect\fP \fB\-ddump\-vt\-trace\fP \fB\-ddump\-worker\-wrapper\fP \fB\-dfaststring\-stats\fP \fB\-dinitial\-unique=⟨s⟩\fP \fB\-dno\-debug\-output\fP \fB\-dppr\-case\-as\-let\fP \fB\-dppr\-cols=⟨n⟩\fP \fB\-dppr\-debug\fP \fB\-dppr\-user\-length\fP \fB\-dshow\-passes\fP \fB\-dstg\-lint\fP \fB\-dsuppress\-all\fP \fB\-dsuppress\-coercions\fP \fB\-dsuppress\-idinfo\fP \fB\-dsuppress\-module\-prefixes\fP \fB\-dsuppress\-stg\-free\-vars\fP \fB\-dsuppress\-ticks\fP \fB\-dsuppress\-type\-applications\fP \fB\-dsuppress\-type\-signatures\fP \fB\-dsuppress\-unfoldings\fP \fB\-dsuppress\-uniques\fP \fB\-dsuppress\-var\-kinds\fP \fB\-dth\-dec\-file=⟨file⟩\fP \fB\-dunique\-increment=⟨i⟩\fP \fB\-dverbose\-core2core\fP \fB\-dverbose\-stg2stg\fP \fB\-falignment\-sanitisation\fP \fB\-fcatch\-bottoms\fP \fB\-fllvm\-fill\-undef\-with\-garbage\fP \fB\-g\fP \fB\-g⟨n⟩\fP +.TP +.B C pre\-processor +\fB\-cpp\fP \fB\-D⟨symbol⟩[=⟨value⟩]\fP \fB\-I⟨dir⟩\fP \fB\-U⟨symbol⟩\fP +.TP +.B Finding imports +\fB\-i\fP \fB\-i⟨dir⟩[:⟨dir⟩]*\fP +.TP +.B Interactive mode +\fB\-fbreak\-on\-error\fP \fB\-fbreak\-on\-exception\fP \fB\-fghci\-hist\-size=⟨n⟩\fP \fB\-flocal\-ghci\-history\fP \fB\-fprint\-bind\-result\fP \fB\-fshow\-loaded\-modules\fP \fB\-ghci\-script\fP \fB\-ignore\-dot\-ghci\fP \fB\-interactive\-print ⟨expr⟩\fP +.TP +.B Interface files +\fB\-\-show\-iface ⟨file⟩\fP \fB\-ddump\-hi\fP \fB\-ddump\-hi\-diffs\fP \fB\-ddump\-minimal\-imports\fP +.TP +.B Keeping intermediate files +\fB\-keep\-hc\-file\fP \fB\-keep\-hc\-files\fP \fB\-keep\-hi\-files\fP \fB\-keep\-llvm\-file\fP \fB\-keep\-llvm\-files\fP \fB\-keep\-o\-files\fP \fB\-keep\-s\-file\fP \fB\-keep\-s\-files\fP \fB\-keep\-tmp\-files\fP +.TP +.B Language options +\fB\-XAllowAmbiguousTypes\fP \fB\-XApplicativeDo\fP \fB\-XArrows\fP \fB\-XBangPatterns\fP \fB\-XBinaryLiterals\fP \fB\-XCApiFFI\fP \fB\-XConstrainedClassMethods\fP \fB\-XConstraintKinds\fP \fB\-XCPP\fP \fB\-XDataKinds\fP \fB\-XDatatypeContexts\fP \fB\-XDefaultSignatures\fP \fB\-XDeriveAnyClass\fP \fB\-XDeriveDataTypeable\fP \fB\-XDeriveFoldable\fP \fB\-XDeriveFunctor\fP \fB\-XDeriveGeneric\fP \fB\-XDeriveLift\fP \fB\-XDeriveTraversable\fP \fB\-XDerivingStrategies\fP \fB\-XDisambiguateRecordFields\fP \fB\-XDuplicateRecordFields\fP \fB\-XEmptyCase\fP \fB\-XEmptyDataDecls\fP \fB\-XEmptyDataDeriving\fP \fB\-XExistentialQuantification\fP \fB\-XExplicitForAll\fP \fB\-XExplicitNamespaces\fP \fB\-XExtendedDefaultRules\fP \fB\-XFlexibleContexts\fP \fB\-XFlexibleInstances\fP \fB\-XForeignFunctionInterface\fP \fB\-XFunctionalDependencies\fP \fB\-XGADTs\fP \fB\-XGADTSyntax\fP \fB\-XGeneralisedNewtypeDeriving\fP \fB\-XGeneralizedNewtypeDeriving\fP \fB\-XHexFloatLiterals\fP \fB\-XImplicitParams\fP \fB\-XImpredicativeTypes\fP \fB\-XIncoherentInstances\fP \fB\-XInstanceSigs\fP \fB\-XInterruptibleFFI\fP \fB\-XKindSignatures\fP \fB\-XLambdaCase\fP \fB\-XLiberalTypeSynonyms\fP \fB\-XMagicHash\fP \fB\-XMonadComprehensions\fP \fB\-XMonadFailDesugaring\fP \fB\-XMonoLocalBinds\fP \fB\-XMultiParamTypeClasses\fP \fB\-XMultiWayIf\fP \fB\-XNamedFieldPuns\fP \fB\-XNamedWildCards\fP \fB\-XNegativeLiterals\fP \fB\-XNoImplicitPrelude\fP \fB\-XNoMonomorphismRestriction\fP \fB\-XNoPatternGuards\fP \fB\-XNoTraditionalRecordSyntax\fP \fB\-XNPlusKPatterns\fP \fB\-XNullaryTypeClasses\fP \fB\-XNumDecimals\fP \fB\-XOverlappingInstances\fP \fB\-XOverloadedLabels\fP \fB\-XOverloadedLists\fP \fB\-XOverloadedStrings\fP \fB\-XPackageImports\fP \fB\-XParallelListComp\fP \fB\-XPartialTypeSignatures\fP \fB\-XPatternSynonyms\fP \fB\-XPolyKinds\fP \fB\-XPostfixOperators\fP \fB\-XQuasiQuotes\fP \fB\-XRank2Types\fP \fB\-XRankNTypes\fP \fB\-XRebindableSyntax\fP \fB\-XRecordWildCards\fP \fB\-XRecursiveDo\fP \fB\-XRoleAnnotations\fP \fB\-XSafe\fP \fB\-XScopedTypeVariables\fP \fB\-XStandaloneDeriving\fP \fB\-XStaticPointers\fP \fB\-XStrict\fP \fB\-XStrictData\fP \fB\-XTemplateHaskell\fP \fB\-XTemplateHaskellQuotes\fP \fB\-XTransformListComp\fP \fB\-XTrustworthy\fP \fB\-XTupleSections\fP \fB\-XTypeApplications\fP \fB\-XTypeFamilies\fP \fB\-XTypeFamilyDependencies\fP \fB\-XTypeInType\fP \fB\-XTypeOperators\fP \fB\-XTypeSynonymInstances\fP \fB\-XUnboxedSums\fP \fB\-XUnboxedTuples\fP \fB\-XUndecidableInstances\fP \fB\-XUndecidableSuperClasses\fP \fB\-XUnicodeSyntax\fP \fB\-XUnsafe\fP \fB\-XViewPatterns\fP +.TP +.B Linking options +\fB\-c\fP \fB\-debug\fP \fB\-dylib\-install\-name ⟨path⟩\fP \fB\-dynamic\fP \fB\-dynload\fP \fB\-eventlog\fP \fB\-fno\-embed\-manifest\fP \fB\-fno\-gen\-manifest\fP \fB\-fno\-shared\-implib\fP \fB\-framework ⟨name⟩\fP \fB\-framework\-path ⟨dir⟩\fP \fB\-fwhole\-archive\-hs\-libs\fP \fB\-L ⟨dir⟩\fP \fB\-l ⟨lib⟩\fP \fB\-main\-is ⟨thing⟩\fP \fB\-no\-hs\-main\fP \fB\-no\-rtsopts\-suggestions\fP \fB\-package ⟨name⟩\fP \fB\-pie\fP \fB\-rdynamic\fP \fB\-rtsopts[=⟨none|some|all⟩]\fP \fB\-shared\fP \fB\-split\-objs\fP \fB\-split\-sections\fP \fB\-static\fP \fB\-staticlib\fP \fB\-threaded\fP \fB\-with\-rtsopts=⟨opts⟩\fP +.TP +.B Miscellaneous options +\fB\-fexternal\-interpreter\fP \fB\-fglasgow\-exts\fP \fB\-ghcversion\-file ⟨path to ghcversion.h⟩\fP \fB\-H ⟨size⟩\fP \fB\-j[⟨n⟩]\fP +.TP +.B Modes of operation +\fB\-\-frontend ⟨module⟩\fP \fB\-\-help\fP \fB\-?\fP \fB\-\-info\fP \fB\-\-interactive\fP \fB\-\-make\fP \fB\-\-mk\-dll\fP \fB\-\-numeric\-version\fP \fB\-\-print\-libdir\fP \fB\-\-show\-iface ⟨file⟩\fP \fB\-\-show\-options\fP \fB\-\-supported\-extensions\fP \fB\-\-supported\-languages\fP \fB\-\-version\fP \fB\-V\fP \fB\-e ⟨expr⟩\fP \fB\-M\fP +.TP +.B Individual optimizations +\fB\-fcall\-arity\fP \fB\-fcase\-folding\fP \fB\-fcase\-merge\fP \fB\-fcmm\-elim\-common\-blocks\fP \fB\-fcmm\-sink\fP \fB\-fcpr\-anal\fP \fB\-fcross\-module\-specialise\fP \fB\-fcse\fP \fB\-fdicts\-cheap\fP \fB\-fdicts\-strict\fP \fB\-fdmd\-tx\-dict\-sel\fP \fB\-fdo\-eta\-reduction\fP \fB\-fdo\-lambda\-eta\-expansion\fP \fB\-feager\-blackholing\fP \fB\-fenable\-rewrite\-rules\fP \fB\-fexcess\-precision\fP \fB\-fexitification\fP \fB\-fexpose\-all\-unfoldings\fP \fB\-ffloat\-in\fP \fB\-ffull\-laziness\fP \fB\-ffun\-to\-thunk\fP \fB\-fignore\-asserts\fP \fB\-fignore\-interface\-pragmas\fP \fB\-flate\-dmd\-anal\fP \fB\-fliberate\-case\fP \fB\-fliberate\-case\-threshold=⟨n⟩\fP \fB\-fllvm\-pass\-vectors\-in\-regs\fP \fB\-floopification\fP \fB\-fmax\-inline\-alloc\-size=⟨n⟩\fP \fB\-fmax\-inline\-memcpy\-insns=⟨n⟩\fP \fB\-fmax\-inline\-memset\-insns=⟨n⟩\fP \fB\-fmax\-relevant\-binds=⟨n⟩\fP \fB\-fmax\-simplifier\-iterations=⟨n⟩\fP \fB\-fmax\-uncovered\-patterns=⟨n⟩\fP \fB\-fmax\-valid\-substitutions=⟨n⟩\fP \fB\-fmax\-worker\-args=⟨n⟩\fP \fB\-fno\-opt\-coercion\fP \fB\-fno\-pre\-inlining\fP \fB\-fno\-state\-hack\fP \fB\-fomit\-interface\-pragmas\fP \fB\-fomit\-yields\fP \fB\-foptimal\-applicative\-do\fP \fB\-fpedantic\-bottoms\fP \fB\-fregs\-graph\fP \fB\-fregs\-iterative\fP \fB\-fsimpl\-tick\-factor=⟨n⟩\fP \fB\-fsimplifier\-phases=⟨n⟩\fP \fB\-fsolve\-constant\-dicts\fP \fB\-fspec\-constr\fP \fB\-fspec\-constr\-count=⟨n⟩\fP \fB\-fspec\-constr\-keen\fP \fB\-fspec\-constr\-threshold=⟨n⟩\fP \fB\-fspecialise\fP \fB\-fspecialise\-aggressively\fP \fB\-fstatic\-argument\-transformation\fP \fB\-fstg\-cse\fP \fB\-fstrictness\fP \fB\-fstrictness\-before=⟨n⟩\fP \fB\-funbox\-small\-strict\-fields\fP \fB\-funbox\-strict\-fields\fP \fB\-funfolding\-creation\-threshold=⟨n⟩\fP \fB\-funfolding\-dict\-discount=⟨n⟩\fP \fB\-funfolding\-fun\-discount=⟨n⟩\fP \fB\-funfolding\-keeness\-factor=⟨n⟩\fP \fB\-funfolding\-use\-threshold=⟨n⟩\fP \fB\-fvectorisation\-avoidance\fP \fB\-fvectorise\fP +.TP +.B Optimization levels +\fB\-O\fP \fB\-O1\fP \fB\-O0\fP \fB\-O2\fP \fB\-Odph\fP +.TP +.B Package options +\fB\-clear\-package\-db\fP \fB\-distrust ⟨pkg⟩\fP \fB\-distrust\-all\-packages\fP \fB\-fpackage\-trust\fP \fB\-global\-package\-db\fP \fB\-hide\-all\-packages\fP \fB\-hide\-package ⟨pkg⟩\fP \fB\-ignore\-package ⟨pkg⟩\fP \fB\-no\-auto\-link\-packages\fP \fB\-no\-global\-package\-db\fP \fB\-no\-user\-package\-db\fP \fB\-package ⟨pkg⟩\fP \fB\-package\-db ⟨file⟩\fP \fB\-package\-env ⟨file⟩|⟨name⟩\fP \fB\-package\-id ⟨unit\-id⟩\fP \fB\-this\-unit\-id ⟨unit\-id⟩\fP \fB\-trust ⟨pkg⟩\fP \fB\-user\-package\-db\fP +.TP +.B Phases of compilation +\fB\-C\fP \fB\-c\fP \fB\-E\fP \fB\-F\fP \fB\-S\fP \fB\-x ⟨suffix⟩\fP +.TP +.B Overriding external programs +\fB\-pgma ⟨cmd⟩\fP \fB\-pgmc ⟨cmd⟩\fP \fB\-pgmdll ⟨cmd⟩\fP \fB\-pgmF ⟨cmd⟩\fP \fB\-pgmi ⟨cmd⟩\fP \fB\-pgmL ⟨cmd⟩\fP \fB\-pgml ⟨cmd⟩\fP \fB\-pgmlc ⟨cmd⟩\fP \fB\-pgmlibtool ⟨cmd⟩\fP \fB\-pgmlo ⟨cmd⟩\fP \fB\-pgmP ⟨cmd⟩\fP \fB\-pgms ⟨cmd⟩\fP \fB\-pgmwindres ⟨cmd⟩\fP +.TP +.B Phase\-specific options +\fB\-opta ⟨option⟩\fP \fB\-optc ⟨option⟩\fP \fB\-optdll ⟨option⟩\fP \fB\-optF ⟨option⟩\fP \fB\-opti ⟨option⟩\fP \fB\-optL ⟨option⟩\fP \fB\-optl ⟨option⟩\fP \fB\-optlc ⟨option⟩\fP \fB\-optlo ⟨option⟩\fP \fB\-optP ⟨option⟩\fP \fB\-optwindres ⟨option⟩\fP +.TP +.B Platform\-specific options +\fB\-msse2\fP \fB\-msse4.2\fP +.TP +.B Compiler plugins +\fB\-fplugin\-opt=⟨module⟩:⟨args⟩\fP \fB\-fplugin=⟨module⟩\fP \fB\-hide\-all\-plugin\-packages\fP \fB\-plugin\-package ⟨pkg⟩\fP \fB\-plugin\-package\-id ⟨pkg\-id⟩\fP +.TP +.B Profiling +\fB\-fno\-prof\-auto\fP \fB\-fno\-prof\-cafs\fP \fB\-fno\-prof\-count\-entries\fP \fB\-fprof\-auto\fP \fB\-fprof\-auto\-calls\fP \fB\-fprof\-auto\-exported\fP \fB\-fprof\-auto\-top\fP \fB\-fprof\-cafs\fP \fB\-prof\fP \fB\-ticky\fP +.TP +.B Program coverage +\fB\-fhpc\fP +.TP +.B Recompilation checking +\fB\-fforce\-recomp\fP \fB\-fignore\-hpc\-changes\fP \fB\-fignore\-optim\-changes\fP +.TP +.B Redirecting output +\fB\-\-exclude\-module=⟨file⟩\fP \fB\-ddump\-mod\-cycles\fP \fB\-dep\-makefile ⟨file⟩\fP \fB\-dep\-suffix ⟨suffix⟩\fP \fB\-dumpdir ⟨dir⟩\fP \fB\-hcsuf ⟨suffix⟩\fP \fB\-hidir ⟨dir⟩\fP \fB\-hisuf ⟨suffix⟩\fP \fB\-include\-pkg\-deps\fP \fB\-o ⟨file⟩\fP \fB\-odir ⟨dir⟩\fP \fB\-ohi ⟨file⟩\fP \fB\-osuf ⟨suffix⟩\fP \fB\-outputdir ⟨dir⟩\fP \fB\-stubdir ⟨dir⟩\fP +.TP +.B Temporary files +\fB\-tmpdir ⟨dir⟩\fP +.TP +.B Verbosity options +\fB\-fdiagnostics\-color=⟨always|auto|never⟩\fP \fB\-fdiagnostics\-show\-caret\fP \fB\-ferror\-spans\fP \fB\-fhide\-source\-paths\fP \fB\-fprint\-equality\-relations\fP \fB\-fprint\-expanded\-synonyms\fP \fB\-fprint\-explicit\-coercions\fP \fB\-fprint\-explicit\-foralls\fP \fB\-fprint\-explicit\-kinds\fP \fB\-fprint\-explicit\-runtime\-rep\fP \fB\-fprint\-explicit\-runtime\-reps\fP \fB\-fprint\-potential\-instances\fP \fB\-fprint\-typechecker\-elaboration\fP \fB\-fprint\-unicode\-syntax\fP \fB\-fshow\-hole\-constraints\fP \fB\-Rghc\-timing\fP \fB\-v\fP \fB\-v⟨n⟩\fP +.TP +.B Warnings +\fB\-fdefer\-out\-of\-scope\-variables\fP \fB\-fdefer\-type\-errors\fP \fB\-fdefer\-typed\-holes\fP \fB\-fhelpful\-errors\fP \fB\-fmax\-pmcheck\-iterations=⟨n⟩\fP \fB\-fshow\-warning\-groups\fP \fB\-W\fP \fB\-w\fP \fB\-Wall\fP \fB\-Wall\-missed\-specialisations\fP \fB\-Wamp\fP \fB\-Wcompat\fP \fB\-Wcpp\-undef\fP \fB\-Wdeferred\-out\-of\-scope\-variables\fP \fB\-Wdeferred\-type\-errors\fP \fB\-Wdeprecated\-flags\fP \fB\-Wdeprecations\fP \fB\-Wdodgy\-exports\fP \fB\-Wdodgy\-foreign\-imports\fP \fB\-Wdodgy\-imports\fP \fB\-Wduplicate\-constraints\fP \fB\-Wduplicate\-exports\fP \fB\-Wempty\-enumerations\fP \fB\-Werror\fP \fB\-Weverything\fP \fB\-Whi\-shadowing\fP \fB\-Widentities\fP \fB\-Wimplicit\-prelude\fP \fB\-Wincomplete\-patterns\fP \fB\-Wincomplete\-record\-updates\fP \fB\-Wincomplete\-uni\-patterns\fP \fB\-Winline\-rule\-shadowing\fP \fB\-Wmissed\-specialisations\fP \fB\-Wmissing\-export\-lists\fP \fB\-Wmissing\-exported\-signatures\fP \fB\-Wmissing\-exported\-sigs\fP \fB\-Wmissing\-fields\fP \fB\-Wmissing\-home\-modules\fP \fB\-Wmissing\-import\-lists\fP \fB\-Wmissing\-local\-signatures\fP \fB\-Wmissing\-local\-sigs\fP \fB\-Wmissing\-methods\fP \fB\-Wmissing\-monadfail\-instances\fP \fB\-Wmissing\-pattern\-synonym\-signatures\fP \fB\-Wmissing\-signatures\fP \fB\-Wmonomorphism\-restriction\fP \fB\-Wname\-shadowing\fP \fB\-Wno\-compat\fP \fB\-Wnoncanonical\-monad\-instances\fP \fB\-Wnoncanonical\-monadfail\-instances\fP \fB\-Wnoncanonical\-monoid\-instances\fP \fB\-Worphans\fP \fB\-Woverflowed\-literals\fP \fB\-Woverlapping\-patterns\fP \fB\-Wpartial\-fields\fP \fB\-Wpartial\-type\-signatures\fP \fB\-Wredundant\-constraints\fP \fB\-Wsafe\fP \fB\-Wsemigroup\fP \fB\-Wsimplifiable\-class\-constraints\fP \fB\-Wtabs\fP \fB\-Wtrustworthy\-safe\fP \fB\-Wtype\-defaults\fP \fB\-Wtyped\-holes\fP \fB\-Wunbanged\-strict\-patterns\fP \fB\-Wunrecognised\-pragmas\fP \fB\-Wunrecognised\-warning\-flags\fP \fB\-Wunsafe\fP \fB\-Wunsupported\-calling\-conventions\fP \fB\-Wunsupported\-llvm\-version\fP \fB\-Wunticked\-promoted\-constructors\fP \fB\-Wunused\-binds\fP \fB\-Wunused\-do\-bind\fP \fB\-Wunused\-foralls\fP \fB\-Wunused\-imports\fP \fB\-Wunused\-local\-binds\fP \fB\-Wunused\-matches\fP \fB\-Wunused\-pattern\-binds\fP \fB\-Wunused\-top\-binds\fP \fB\-Wunused\-type\-patterns\fP \fB\-Wwarn\fP \fB\-Wwarnings\-deprecations\fP \fB\-Wwrong\-do\-bind\fP +.SS Code generation +.INDENT 0.0 +.TP +.B \fI\%\-dynamic\-too\fP +Build dynamic object files \fIas well as\fP static object files +during compilation +.TP +.B \fI\%\-fasm\fP +Use the \fInative code generator\fP +.TP +.B \fI\%\-fbyte\-code\fP +Generate byte\-code +.TP +.B \fI\%\-fllvm\fP +Compile using the \fILLVM code generator\fP +.TP +.B \fI\%\-fno\-code\fP +Omit code generation +.TP +.B \fI\%\-fobject\-code\fP +Generate object code +.TP +.B \fI\%\-fPIC\fP +Generate position\-independent code (where available) +.TP +.B \fI\%\-fPIE\fP +Generate code for a position\-independent executable (where available) +.TP +.B \fI\%\-fwrite\-interface\fP +Always write interface files +.UNINDENT +.SS Debugging the compiler +.INDENT 0.0 +.TP +.B \fI\%\-dcmm\-lint\fP +C\-\- pass sanity checking +.TP +.B \fI\%\-dcore\-lint\fP +Turn on internal sanity checking +.TP +.B \fI\%\-ddump\-asm\fP +Dump final assembly +.TP +.B \fI\%\-ddump\-asm\-expanded\fP +Dump the result of the synthetic instruction expansion pass. +.TP +.B \fI\%\-ddump\-asm\-liveness\fP +Dump assembly augmented with register liveness +.TP +.B \fI\%\-ddump\-asm\-native\fP +Dump initial assembly +.TP +.B \fI\%\-ddump\-asm\-regalloc\fP +Dump the result of register allocation +.TP +.B \fI\%\-ddump\-asm\-regalloc\-stages\fP +Dump the build/spill stages of the \fB\-fregs\-graph\fP +register allocator. +.TP +.B \fI\%\-ddump\-asm\-stats\fP +Dump statistics from the register allocator. +.TP +.B \fI\%\-ddump\-bcos\fP +Dump interpreter byte code +.TP +.B \fI\%\-ddump\-cmm\fP +Dump the final C\-\- output +.TP +.B \fI\%\-ddump\-cmm\-caf\fP +Dump the results of the C\-\- CAF analysis pass. +.TP +.B \fI\%\-ddump\-cmm\-cbe\fP +Dump the results of common block elimination +.TP +.B \fI\%\-ddump\-cmm\-cfg\fP +Dump the results of the C\-\- control flow optimisation pass. +.TP +.B \fI\%\-ddump\-cmm\-cps\fP +Dump the results of the CPS pass +.TP +.B \fI\%\-ddump\-cmm\-from\-stg\fP +Dump STG\-to\-C\-\- output +.TP +.B \fI\%\-ddump\-cmm\-info\fP +Dump the results of the C\-\- info table augmentation pass. +.TP +.B \fI\%\-ddump\-cmm\-proc\fP +Dump the results of proc\-point analysis +.TP +.B \fI\%\-ddump\-cmm\-procmap\fP +Dump the results of the C\-\- proc\-point map pass. +.TP +.B \fI\%\-ddump\-cmm\-raw\fP +Dump raw C\-\- +.TP +.B \fI\%\-ddump\-cmm\-sink\fP +Dump the results of the C\-\- sinking pass. +.TP +.B \fI\%\-ddump\-cmm\-sp\fP +Dump the results of the C\-\- stack layout pass. +.TP +.B \fI\%\-ddump\-cmm\-split\fP +Dump the results of the C\-\- proc\-point splitting pass. +.TP +.B \fI\%\-ddump\-cmm\-switch\fP +Dump the results of switch lowering passes +.TP +.B \fI\%\-ddump\-cmm\-verbose\fP +Show output from each C\-\- pipeline pass +.TP +.B \fI\%\-ddump\-core\-stats\fP +Print a one\-line summary of the size of the Core program at the +end of the optimisation pipeline +.TP +.B \fI\%\-ddump\-cse\fP +Dump CSE output +.TP +.B \fI\%\-ddump\-deriv\fP +Dump deriving output +.TP +.B \fI\%\-ddump\-ds\fP +Dump desugarer output +.TP +.B \fI\%\-ddump\-ec\-trace\fP +Trace exhaustiveness checker +.TP +.B \fI\%\-ddump\-foreign\fP +Dump \fBforeign export\fP stubs +.TP +.B \fI\%\-ddump\-if\-trace\fP +Trace interface files +.TP +.B \fI\%\-ddump\-inlinings\fP +Dump inlining info +.TP +.B \fI\%\-ddump\-json\fP +Dump error messages as JSON documents +.TP +.B \fI\%\-ddump\-llvm\fP +Dump LLVM intermediate code. +.TP +.B \fI\%\-ddump\-occur\-anal\fP +Dump occurrence analysis output +.TP +.B \fI\%\-ddump\-opt\-cmm\fP +Dump the results of C\-\- to C\-\- optimising passes +.TP +.B \fI\%\-ddump\-parsed\fP +Dump parse tree +.TP +.B \fI\%\-ddump\-parsed\-ast\fP +Dump parser output as a syntax tree +.TP +.B \fI\%\-ddump\-prep\fP +Dump prepared core +.TP +.B \fI\%\-ddump\-rn\fP +Dump renamer output +.TP +.B \fI\%\-ddump\-rn\-ast\fP +Dump renamer output as a syntax tree +.TP +.B \fI\%\-ddump\-rn\-stats\fP +Renamer stats +.TP +.B \fI\%\-ddump\-rn\-trace\fP +Trace renamer +.TP +.B \fI\%\-ddump\-rule\-firings\fP +Dump rule firing info +.TP +.B \fI\%\-ddump\-rule\-rewrites\fP +Dump detailed rule firing info +.TP +.B \fI\%\-ddump\-rules\fP +Dump rewrite rules +.TP +.B \fI\%\-ddump\-simpl\fP +Dump final simplifier output +.TP +.B \fI\%\-ddump\-simpl\-iterations\fP +Dump output from each simplifier iteration +.TP +.B \fI\%\-ddump\-simpl\-stats\fP +Dump simplifier stats +.TP +.B \fI\%\-ddump\-spec\fP +Dump specialiser output +.TP +.B \fI\%\-ddump\-splices\fP +Dump TH spliced expressions, and what they evaluate to +.TP +.B \fI\%\-ddump\-stg\fP +Dump final STG +.TP +.B \fI\%\-ddump\-str\-signatures\fP +Dump strictness signatures +.TP +.B \fI\%\-ddump\-stranal\fP +Dump strictness analyser output +.TP +.B \fI\%\-ddump\-tc\fP +Dump typechecker output +.TP +.B \fI\%\-ddump\-tc\-ast\fP +Dump typechecker output as a syntax tree +.TP +.B \fI\%\-ddump\-tc\-trace\fP +Trace typechecker +.TP +.B \fI\%\-ddump\-timings\fP +Dump per\-pass timing and allocation statistics +.TP +.B \fI\%\-ddump\-to\-file\fP +Dump to files instead of stdout +.TP +.B \fI\%\-ddump\-types\fP +Dump type signatures +.TP +.B \fI\%\-ddump\-vect\fP +Dump vectoriser input and output +.TP +.B \fI\%\-ddump\-vt\-trace\fP +Trace vectoriser +.TP +.B \fI\%\-ddump\-worker\-wrapper\fP +Dump worker\-wrapper output +.TP +.B \fI\%\-dfaststring\-stats\fP +Show statistics for fast string usage when finished +.TP +.B \fI\%\-dinitial\-unique=⟨s⟩\fP +Start \fBUniqSupply\fP allocation from ⟨s⟩. +.TP +.B \fI\%\-dno\-debug\-output\fP +Suppress unsolicited debugging output +.TP +.B \fI\%\-dppr\-case\-as\-let\fP +Print single alternative case expressions as strict lets. +.TP +.B \fI\%\-dppr\-cols=⟨n⟩\fP +Set the width of debugging output. For example \fB\-dppr\-cols200\fP +.TP +.B \fI\%\-dppr\-debug\fP +Turn on debug printing (more verbose) +.TP +.B \fI\%\-dppr\-user\-length\fP +Set the depth for printing expressions in error msgs +.TP +.B \fI\%\-dshow\-passes\fP +Print out each pass name as it happens +.TP +.B \fI\%\-dstg\-lint\fP +STG pass sanity checking +.TP +.B \fI\%\-dsuppress\-all\fP +In core dumps, suppress everything (except for uniques) that is +suppressible. +.TP +.B \fI\%\-dsuppress\-coercions\fP +Suppress the printing of coercions in Core dumps to make them +shorter +.TP +.B \fI\%\-dsuppress\-idinfo\fP +Suppress extended information about identifiers where they +are bound +.TP +.B \fI\%\-dsuppress\-module\-prefixes\fP +Suppress the printing of module qualification prefixes +.TP +.B \fI\%\-dsuppress\-stg\-free\-vars\fP +Suppress the printing of closure free variable lists in STG output +.TP +.B \fI\%\-dsuppress\-ticks\fP +Suppress "ticks" in the pretty\-printer output. +.TP +.B \fI\%\-dsuppress\-type\-applications\fP +Suppress type applications +.TP +.B \fI\%\-dsuppress\-type\-signatures\fP +Suppress type signatures +.TP +.B \fI\%\-dsuppress\-unfoldings\fP +Suppress the printing of the stable unfolding of a variable at +its binding site +.TP +.B \fI\%\-dsuppress\-uniques\fP +Suppress the printing of uniques in debug output (easier to use +\fBdiff\fP) +.TP +.B \fI\%\-dsuppress\-var\-kinds\fP +Suppress the printing of variable kinds +.TP +.B \fI\%\-dth\-dec\-file=⟨file⟩\fP +Show evaluated TH declarations in a .th.hs file +.TP +.B \fI\%\-dunique\-increment=⟨i⟩\fP +Set the increment for the generated \fBUnique\fP\(aqs to ⟨i⟩. +.TP +.B \fI\%\-dverbose\-core2core\fP +Show output from each core\-to\-core pass +.TP +.B \fI\%\-dverbose\-stg2stg\fP +Show output from each STG\-to\-STG pass +.TP +.B \fI\%\-falignment\-sanitisation\fP +Compile with alignment checks for all info table dereferences. +.TP +.B \fI\%\-fcatch\-bottoms\fP +Insert \fBerror\fP expressions after bottoming expressions; useful +when debugging the compiler. +.TP +.B \fI\%\-fllvm\-fill\-undef\-with\-garbage\fP +Intruct LLVM to fill dead STG registers with garbage +.TP +.B \fI\%\-g\fP +Produce DWARF debug information in compiled object files. +⟨n⟩ can be 0, 1, or 2, with higher numbers producing richer +output. If ⟨n⟩ is omitted level 2 is assumed. +.UNINDENT +.SS C pre\-processor +.INDENT 0.0 +.TP +.B \fI\%\-cpp\fP +Run the C pre\-processor on Haskell source files +.TP +.B \fI\%\-D⟨symbol⟩[=⟨value⟩]\fP +Define a symbol in the C pre\-processor +.TP +.B \fI\%\-I⟨dir⟩\fP +Add ⟨dir⟩ to the directory search list for \fB#include\fP files +.TP +.B \fI\%\-U⟨symbol⟩\fP +Undefine a symbol in the C pre\-processor +.UNINDENT +.SS Finding imports +.INDENT 0.0 +.TP +.B \fI\%\-i\fP +Empty the import directory list +.TP +.B \fI\%\-i⟨dir⟩[:⟨dir⟩]*\fP +add ⟨dir⟩, ⟨dir2⟩, etc. to import path +.UNINDENT +.SS Interactive mode +.INDENT 0.0 +.TP +.B \fI\%\-fbreak\-on\-error\fP +\fI\%Break on uncaught exceptions and errors\fP +.TP +.B \fI\%\-fbreak\-on\-exception\fP +\fI\%Break on any exception thrown\fP +.TP +.B \fI\%\-fghci\-hist\-size=⟨n⟩\fP +Set the number of entries GHCi keeps for \fB:history\fP\&. +See \fI\%The GHCi Debugger\fP\&. +.TP +.B \fI\%\-flocal\-ghci\-history\fP +Use current directory for the GHCi command history +file \fB\&.ghci\-history\fP\&. +.TP +.B \fI\%\-fprint\-bind\-result\fP +\fI\%Turn on printing of binding results in GHCi\fP +.TP +.B \fI\%\-fshow\-loaded\-modules\fP +Show the names of modules that GHCi loaded after a +\fI\%:load\fP command. +.TP +.B \fI\%\-ghci\-script\fP +Read additional \fB\&.ghci\fP files +.TP +.B \fI\%\-ignore\-dot\-ghci\fP +Disable reading of \fB\&.ghci\fP files +.TP +.B \fI\%\-interactive\-print ⟨expr⟩\fP +\fI\%Select the function to use for printing evaluated +expressions in GHCi\fP +.UNINDENT +.SS Interface files +.INDENT 0.0 +.TP +.B \fB\-\-show\-iface ⟨file⟩\fP +See \fImodes\fP\&. +.TP +.B \fI\%\-ddump\-hi\fP +Dump the new interface to stdout +.TP +.B \fI\%\-ddump\-hi\-diffs\fP +Show the differences vs. the old interface +.TP +.B \fI\%\-ddump\-minimal\-imports\fP +Dump a minimal set of imports +.UNINDENT +.SS Keeping intermediate files +.INDENT 0.0 +.TP +.B \fI\%\-keep\-hc\-file\fP +Retain intermediate \fB\&.hc\fP files. +.TP +.B \fI\%\-keep\-hi\-files\fP +Retain intermediate \fB\&.hi\fP files (the default). +.TP +.B \fI\%\-keep\-llvm\-file\fP +Retain intermediate LLVM \fB\&.ll\fP files. +Implies \fB\-fllvm\fP\&. +.TP +.B \fI\%\-keep\-o\-files\fP +Retain intermediate \fB\&.o\fP files (the default). +.TP +.B \fI\%\-keep\-s\-file\fP +Retain intermediate \fB\&.s\fP files. +.TP +.B \fI\%\-keep\-tmp\-files\fP +Retain all intermediate temporary files. +.UNINDENT +.SS Language options +.INDENT 0.0 +.TP +.B \fI\%\-XAllowAmbiguousTypes\fP +Allow the user to write ambiguous types, and +the type inference engine to infer them. +.TP +.B \fI\%\-XApplicativeDo\fP +Enable Applicative do\-notation desugaring +.TP +.B \fI\%\-XArrows\fP +Enable arrow notation extension +.TP +.B \fI\%\-XBangPatterns\fP +Enable bang patterns. +.TP +.B \fI\%\-XBinaryLiterals\fP +Enable support for binary literals. +.TP +.B \fI\%\-XCApiFFI\fP +Enable the CAPI calling convention. +.TP +.B \fI\%\-XConstrainedClassMethods\fP +Enable constrained class methods. +.TP +.B \fI\%\-XConstraintKinds\fP +Enable a kind of constraints. +.TP +.B \fI\%\-XCPP\fP +Enable the C preprocessor. +.TP +.B \fI\%\-XDataKinds\fP +Enable datatype promotion. +.TP +.B \fI\%\-XDatatypeContexts\fP +Allow contexts on \fBdata\fP types. +.TP +.B \fI\%\-XDefaultSignatures\fP +Enable default signatures. +.TP +.B \fI\%\-XDeriveAnyClass\fP +Enable deriving for any class. +.TP +.B \fI\%\-XDeriveDataTypeable\fP +Enable deriving for the Data class. +Implied by \fBAutoDeriveTypeable\fP\&. +.TP +.B \fI\%\-XDeriveFoldable\fP +Enable deriving for the Foldable class. +Implied by \fI\%DeriveTraversable\fP\&. +.TP +.B \fI\%\-XDeriveFunctor\fP +Enable deriving for the Functor class. +Implied by \fI\%DeriveTraversable\fP\&. +.TP +.B \fI\%\-XDeriveGeneric\fP +Enable deriving for the Generic class. +.TP +.B \fI\%\-XDeriveLift\fP +Enable deriving for the Lift class +.TP +.B \fI\%\-XDeriveTraversable\fP +Enable deriving for the Traversable class. +Implies \fI\%DeriveFunctor\fP and \fI\%DeriveFoldable\fP\&. +.TP +.B \fI\%\-XDerivingStrategies\fP +Enables deriving strategies. +.TP +.B \fI\%\-XDisambiguateRecordFields\fP +Enable record field disambiguation. +Implied by \fI\%RecordWildCards\fP\&. +.TP +.B \fI\%\-XDuplicateRecordFields\fP +Allow definition of record types with identically\-named fields. +.TP +.B \fI\%\-XEmptyCase\fP +Allow empty case alternatives. +.TP +.B \fI\%\-XEmptyDataDecls\fP +Allow definition of empty \fBdata\fP types. +.TP +.B \fI\%\-XEmptyDataDeriving\fP +Allow deriving instances of standard type classes for +empty data types. +.TP +.B \fI\%\-XExistentialQuantification\fP +Enable liberalised type synonyms. +.TP +.B \fI\%\-XExplicitForAll\fP +Enable explicit universal quantification. +Implied by \fI\%ScopedTypeVariables\fP, \fI\%LiberalTypeSynonyms\fP, +\fI\%RankNTypes\fP and \fI\%ExistentialQuantification\fP\&. +.TP +.B \fI\%\-XExplicitNamespaces\fP +Enable using the keyword \fBtype\fP to specify the namespace of +entries in imports and exports (\fI\%Explicit namespaces in import/export\fP). +Implied by \fI\%TypeOperators\fP and \fI\%TypeFamilies\fP\&. +.TP +.B \fI\%\-XExtendedDefaultRules\fP +Use GHCi\(aqs extended default rules in a normal module. +.TP +.B \fI\%\-XFlexibleContexts\fP +Enable flexible contexts. Implied by +\fI\%ImplicitParams\fP\&. +.TP +.B \fI\%\-XFlexibleInstances\fP +Enable flexible instances. +Implies \fI\%TypeSynonymInstances\fP\&. +Implied by \fI\%ImplicitParams\fP\&. +.TP +.B \fI\%\-XForeignFunctionInterface\fP +Enable foreign function interface. +.TP +.B \fI\%\-XFunctionalDependencies\fP +Enable functional dependencies. +Implies \fI\%MultiParamTypeClasses\fP\&. +.TP +.B \fI\%\-XGADTs\fP +Enable generalised algebraic data types. +Implies \fI\%GADTSyntax\fP and \fI\%MonoLocalBinds\fP\&. +.TP +.B \fI\%\-XGADTSyntax\fP +Enable generalised algebraic data type syntax. +.TP +.B \fI\%\-XGeneralisedNewtypeDeriving\fP +Enable newtype deriving. +.TP +.B \fI\%\-XGeneralizedNewtypeDeriving\fP +Enable newtype deriving. +.TP +.B \fI\%\-XHexFloatLiterals\fP +Enable support for \fI\%hexadecimal floating point literals\fP\&. +.TP +.B \fI\%\-XImplicitParams\fP +Enable Implicit Parameters. +Implies \fI\%FlexibleContexts\fP and \fI\%FlexibleInstances\fP\&. +.TP +.B \fI\%\-XImpredicativeTypes\fP +Enable impredicative types. +Implies \fI\%RankNTypes\fP\&. +.TP +.B \fI\%\-XIncoherentInstances\fP +Enable incoherent instances. +Implies \fI\%OverlappingInstances\fP\&. +.TP +.B \fI\%\-XInstanceSigs\fP +Enable instance signatures. +.TP +.B \fI\%\-XInterruptibleFFI\fP +Enable interruptible FFI. +.TP +.B \fI\%\-XKindSignatures\fP +Enable kind signatures. +Implied by \fI\%TypeFamilies\fP and \fI\%PolyKinds\fP\&. +.TP +.B \fI\%\-XLambdaCase\fP +Enable lambda\-case expressions. +.TP +.B \fI\%\-XLiberalTypeSynonyms\fP +Enable liberalised type synonyms. +.TP +.B \fI\%\-XMagicHash\fP +Allow \fB#\fP as a postfix modifier on identifiers. +.TP +.B \fI\%\-XMonadComprehensions\fP +Enable monad comprehensions. +.TP +.B \fI\%\-XMonadFailDesugaring\fP +Enable monadfail desugaring. +.TP +.B \fI\%\-XMonoLocalBinds\fP +Enable do not generalise local bindings. +Implied by \fI\%TypeFamilies\fP and \fI\%GADTs\fP\&. +.TP +.B \fI\%\-XMultiParamTypeClasses\fP +Enable multi parameter type classes. +Implied by \fI\%FunctionalDependencies\fP\&. +.TP +.B \fI\%\-XMultiWayIf\fP +Enable multi\-way if\-expressions. +.TP +.B \fI\%\-XNamedFieldPuns\fP +Enable record puns. +.TP +.B \fI\%\-XNamedWildCards\fP +Enable named wildcards. +.TP +.B \fI\%\-XNegativeLiterals\fP +Enable support for negative literals. +.TP +.B \fI\%\-XNoImplicitPrelude\fP +Don\(aqt implicitly \fBimport Prelude\fP\&. +Implied by \fI\%RebindableSyntax\fP\&. +.TP +.B \fI\%\-XNoMonomorphismRestriction\fP +Disable the monomorphism restriction. +.TP +.B \fI\%\-XNoPatternGuards\fP +Disable pattern guards. +Implied by \fBHaskell98\fP\&. +.TP +.B \fI\%\-XNoTraditionalRecordSyntax\fP +Disable support for traditional record syntax +(as supported by Haskell 98) \fBC {f = x}\fP +.TP +.B \fI\%\-XNPlusKPatterns\fP +Enable support for \fBn+k\fP patterns. +Implied by \fBHaskell98\fP\&. +.TP +.B \fI\%\-XNullaryTypeClasses\fP +Deprecated, does nothing. nullary (no parameter) type +classes are now enabled using \fI\%MultiParamTypeClasses\fP\&. +.TP +.B \fI\%\-XNumDecimals\fP +Enable support for \(aqfractional\(aq integer literals. +.TP +.B \fI\%\-XOverlappingInstances\fP +Enable overlapping instances. +.TP +.B \fI\%\-XOverloadedLabels\fP +Enable overloaded labels. +.TP +.B \fI\%\-XOverloadedLists\fP +Enable overloaded lists. +.TP +.B \fI\%\-XOverloadedStrings\fP +Enable overloaded string literals. +.TP +.B \fI\%\-XPackageImports\fP +Enable package\-qualified imports. +.TP +.B \fI\%\-XParallelListComp\fP +Enable parallel list comprehensions. +Implied by \fBParallelArrays\fP\&. +.TP +.B \fI\%\-XPartialTypeSignatures\fP +Enable partial type signatures. +.TP +.B \fI\%\-XPatternSynonyms\fP +Enable pattern synonyms. +.TP +.B \fI\%\-XPolyKinds\fP +Enable kind polymorphism. +Implies \fI\%KindSignatures\fP\&. +.TP +.B \fI\%\-XPostfixOperators\fP +Enable postfix operators. +.TP +.B \fI\%\-XQuasiQuotes\fP +Enable quasiquotation. +.TP +.B \fI\%\-XRank2Types\fP +Enable rank\-2 types. +Synonym for \fI\%RankNTypes\fP\&. +.TP +.B \fI\%\-XRankNTypes\fP +Enable rank\-N types. +Implied by \fI\%ImpredicativeTypes\fP\&. +.TP +.B \fI\%\-XRebindableSyntax\fP +Employ rebindable syntax. +Implies \fI\%NoImplicitPrelude\fP\&. +.TP +.B \fI\%\-XRecordWildCards\fP +Enable record wildcards. +Implies \fI\%DisambiguateRecordFields\fP\&. +.TP +.B \fI\%\-XRecursiveDo\fP +Enable recursive do (mdo) notation. +.TP +.B \fI\%\-XRoleAnnotations\fP +Enable role annotations. +.TP +.B \fI\%\-XSafe\fP +Enable the \fI\%Safe Haskell\fP Safe mode. +.TP +.B \fI\%\-XScopedTypeVariables\fP +Enable lexically\-scoped type variables. +.TP +.B \fI\%\-XStandaloneDeriving\fP +Enable standalone deriving. +.TP +.B \fI\%\-XStaticPointers\fP +Enable static pointers. +.TP +.B \fI\%\-XStrict\fP +Make bindings in the current module strict by default. +.TP +.B \fI\%\-XStrictData\fP +Enable default strict datatype fields. +.TP +.B \fI\%\-XTemplateHaskell\fP +Enable Template Haskell. +.TP +.B \fI\%\-XTemplateHaskellQuotes\fP +Enable quotation subset of +\fI\%Template Haskell\fP\&. +.TP +.B \fI\%\-XTransformListComp\fP +Enable generalised list comprehensions. +.TP +.B \fI\%\-XTrustworthy\fP +Enable the \fI\%Safe Haskell\fP Trustworthy mode. +.TP +.B \fI\%\-XTupleSections\fP +Enable tuple sections. +.TP +.B \fI\%\-XTypeApplications\fP +Enable type application syntax. +.TP +.B \fI\%\-XTypeFamilies\fP +Enable type families. +Implies \fI\%ExplicitNamespaces\fP, \fI\%KindSignatures\fP, +and \fI\%MonoLocalBinds\fP\&. +.TP +.B \fI\%\-XTypeFamilyDependencies\fP +Enable injective type families. +Implies \fI\%TypeFamilies\fP\&. +.TP +.B \fI\%\-XTypeInType\fP +Allow kinds to be used as types, +including explicit kind variable quantification, higher\-rank +kinds, kind synonyms, and kind families. +Implies \fI\%DataKinds\fP, \fI\%KindSignatures\fP, +and \fI\%PolyKinds\fP\&. +.TP +.B \fI\%\-XTypeOperators\fP +Enable type operators. +Implies \fI\%ExplicitNamespaces\fP\&. +.TP +.B \fI\%\-XTypeSynonymInstances\fP +Enable type synonyms in instance heads. +Implied by \fI\%FlexibleInstances\fP\&. +.TP +.B \fI\%\-XUnboxedSums\fP +Enable unboxed sums. +.TP +.B \fI\%\-XUnboxedTuples\fP +Enable the use of unboxed tuple syntax. +.TP +.B \fI\%\-XUndecidableInstances\fP +Enable undecidable instances. +.TP +.B \fI\%\-XUndecidableSuperClasses\fP +Allow all superclass constraints, including those that may +result in non\-termination of the typechecker. +.TP +.B \fI\%\-XUnicodeSyntax\fP +Enable unicode syntax. +.TP +.B \fI\%\-XUnsafe\fP +Enable \fI\%Safe Haskell\fP Unsafe mode. +.TP +.B \fI\%\-XViewPatterns\fP +Enable view patterns. +.UNINDENT +.SS Linking options +.INDENT 0.0 +.TP +.B \fB\-c\fP +Stop after generating object (\fB\&.o\fP) file +.TP +.B \fI\%\-debug\fP +Use the debugging runtime +.TP +.B \fI\%\-dylib\-install\-name ⟨path⟩\fP +Set the install name (via \fB\-install_name\fP passed to Apple\(aqs +linker), specifying the full install path of the library file. +Any libraries or executables that link with it later will pick +up that path as their runtime search location for it. +(Darwin/OS X only) +.TP +.B \fI\%\-dynamic\fP +Build dynamically\-linked object files and executables +.TP +.B \fI\%\-dynload\fP +Selects one of a number of modes for finding shared libraries at runtime. +.TP +.B \fI\%\-eventlog\fP +Enable runtime event tracing +.TP +.B \fI\%\-fno\-embed\-manifest\fP +Do not embed the manifest in the executable (Windows only) +.TP +.B \fI\%\-fno\-gen\-manifest\fP +Do not generate a manifest file (Windows only) +.TP +.B \fI\%\-fno\-shared\-implib\fP +Don\(aqt generate an import library for a DLL (Windows only) +.TP +.B \fI\%\-framework ⟨name⟩\fP +On Darwin/OS X/iOS only, link in the framework ⟨name⟩. This +option corresponds to the \fB\-framework\fP option for Apple\(aqs Linker. +.TP +.B \fI\%\-framework\-path ⟨dir⟩\fP +On Darwin/OS X/iOS only, add ⟨dir⟩ to the list of directories +searched for frameworks. This option corresponds to the \fB\-F\fP +option for Apple\(aqs Linker. +.TP +.B \fI\%\-fwhole\-archive\-hs\-libs\fP +When linking a binary executable, this inserts the flag +\fB\-Wl,\-\-whole\-archive\fP before any \fB\-l\fP flags for Haskell +libraries, and \fB\-Wl,\-\-no\-whole\-archive\fP afterwards +.TP +.B \fI\%\-L ⟨dir⟩\fP +Add ⟨dir⟩ to the list of directories searched for libraries +.TP +.B \fI\%\-l ⟨lib⟩\fP +Link in library ⟨lib⟩ +.TP +.B \fI\%\-main\-is ⟨thing⟩\fP +Set main module and function +.TP +.B \fI\%\-no\-hs\-main\fP +Don\(aqt assume this program contains \fBmain\fP +.TP +.B \fI\%\-no\-rtsopts\-suggestions\fP +Don\(aqt print RTS suggestions about linking with +\fI\%\-rtsopts[=⟨none|some|all⟩]\fP\&. +.TP +.B \fI\%\-package ⟨name⟩\fP +Expose package ⟨pkg⟩ +.TP +.B \fI\%\-pie\fP +Instruct the linker to produce a position\-independent executable. +.TP +.B \fI\%\-rdynamic\fP +This instructs the linker to add all symbols, not only used +ones, to the dynamic symbol table. Currently Linux and +Windows/MinGW32 only. This is equivalent to using +\fB\-optl \-rdynamic\fP on Linux, and \fB\-optl \-export\-all\-symbols\fP +on Windows. +.TP +.B \fI\%\-rtsopts[=⟨none|some|all⟩]\fP +Control whether the RTS behaviour can be tweaked via command\-line +flags and the \fBGHCRTS\fP environment variable. Using \fBnone\fP +means no RTS flags can be given; \fBsome\fP means only a minimum +of safe options can be given (the default), and \fBall\fP (or no +argument at all) means that all RTS flags are permitted. +.TP +.B \fI\%\-shared\fP +Generate a shared library (as opposed to an executable) +.TP +.B \fI\%\-split\-objs\fP +Split objects (for libraries) +.TP +.B \fI\%\-split\-sections\fP +Split sections for link\-time dead\-code stripping +.TP +.B \fI\%\-static\fP +Use static Haskell libraries +.TP +.B \fI\%\-staticlib\fP +Generate a standalone static library (as opposed to an +executable). This is useful when cross compiling. The +library together with all its dependencies ends up in in a +single static library that can be linked against. +.TP +.B \fI\%\-threaded\fP +Use the threaded runtime +.TP +.B \fI\%\-with\-rtsopts=⟨opts⟩\fP +Set the default RTS options to ⟨opts⟩. +.UNINDENT +.SS Miscellaneous options +.INDENT 0.0 +.TP +.B \fI\%\-fexternal\-interpreter\fP +Run interpreted code in a separate process +.TP +.B \fI\%\-fglasgow\-exts\fP +Deprecated. Enable most language extensions; +see \fI\%Language options\fP for exactly which ones. +.TP +.B \fI\%\-ghcversion\-file ⟨path to ghcversion.h⟩\fP +(GHC as a C compiler only) Use this \fBghcversion.h\fP file +.TP +.B \fI\%\-H ⟨size⟩\fP +Set the minimum size of the heap to ⟨size⟩ +.TP +.B \fI\%\-j[⟨n⟩]\fP +When compiling with \fI\%\-\-make\fP, compile ⟨n⟩ modules +in parallel. +.UNINDENT +.SS Modes of operation +.INDENT 0.0 +.TP +.B \fI\%\-\-frontend ⟨module⟩\fP +run GHC with the given frontend plugin; see +\fIfrontend_plugins\fP for details. +.TP +.B \fI\%\-\-help\fP +Display help +.TP +.B \fI\%\-\-info\fP +display information about the compiler +.TP +.B \fI\%\-\-interactive\fP +Interactive mode \- normally used by just running \fBghci\fP; +see \fIghci\fP for details. +.TP +.B \fI\%\-\-make\fP +Build a multi\-module Haskell program, automatically figuring out +dependencies. Likely to be much easier, and faster, than using +\fBmake\fP; see \fI\%Using ghc \-\-make\fP for details. +.TP +.B \fI\%\-\-mk\-dll\fP +DLL\-creation mode (Windows only) +.TP +.B \fI\%\-\-numeric\-version\fP +display GHC version (numeric only) +.TP +.B \fI\%\-\-print\-libdir\fP +display GHC library directory +.TP +.B \fI\%\-\-show\-iface ⟨file⟩\fP +display the contents of an interface file. +.TP +.B \fI\%\-\-show\-options\fP +display the supported command line options +.TP +.B \fI\%\-\-supported\-extensions\fP +display the supported language extensions +.TP +.B \fI\%\-\-version\fP +display GHC version +.TP +.B \fI\%\-e ⟨expr⟩\fP +Evaluate \fBexpr\fP; see \fI\%Expression evaluation mode\fP for details. +.TP +.B \fI\%\-M\fP +generate dependency information suitable for use in a +\fBMakefile\fP; see \fImakefile\-dependencies\fP for details. +.UNINDENT +.SS Individual optimizations +.INDENT 0.0 +.TP +.B \fI\%\-fcall\-arity\fP +Enable call\-arity optimisation. Implied by \fI\%\-O\fP\&. +.TP +.B \fI\%\-fcase\-folding\fP +Enable constant folding in case expressions. Implied by \fI\%\-O\fP\&. +.TP +.B \fI\%\-fcase\-merge\fP +Enable case\-merging. Implied by \fI\%\-O\fP\&. +.TP +.B \fI\%\-fcmm\-elim\-common\-blocks\fP +Enable Cmm common block elimination. Implied by \fI\%\-O\fP\&. +.TP +.B \fI\%\-fcmm\-sink\fP +Enable Cmm sinking. Implied by \fI\%\-O\fP\&. +.TP +.B \fI\%\-fcpr\-anal\fP +Turn on CPR analysis in the demand analyser. Implied by \fI\%\-O\fP\&. +.TP +.B \fI\%\-fcross\-module\-specialise\fP +Turn on specialisation of overloaded functions imported from +other modules. +.TP +.B \fI\%\-fcse\fP +Enable common sub\-expression elimination. Implied by \fI\%\-O\fP\&. +.TP +.B \fI\%\-fdicts\-cheap\fP +Make dictionary\-valued expressions seem cheap to the optimiser. +.TP +.B \fI\%\-fdicts\-strict\fP +Make dictionaries strict +.TP +.B \fI\%\-fdmd\-tx\-dict\-sel\fP +Use a special demand transformer for dictionary selectors. +Always enabled by default. +.TP +.B \fI\%\-fdo\-eta\-reduction\fP +Enable eta\-reduction. Implied by \fI\%\-O\fP\&. +.TP +.B \fI\%\-fdo\-lambda\-eta\-expansion\fP +Enable lambda eta\-expansion. Always enabled by default. +.TP +.B \fI\%\-feager\-blackholing\fP +Turn on \fIeager blackholing\fP +.TP +.B \fI\%\-fenable\-rewrite\-rules\fP +Switch on all rewrite rules (including rules generated by +automatic specialisation of overloaded functions). Implied by +\fB\-O\fP\&. +.TP +.B \fI\%\-fexcess\-precision\fP +Enable excess intermediate precision +.TP +.B \fI\%\-fexitification\fP +Enables exitification optimisation. Implied by \fI\%\-O\fP\&. +.TP +.B \fI\%\-fexpose\-all\-unfoldings\fP +Expose all unfoldings, even for very large or recursive functions. +.TP +.B \fI\%\-ffloat\-in\fP +Turn on the float\-in transformation. Implied by \fI\%\-O\fP\&. +.TP +.B \fI\%\-ffull\-laziness\fP +Turn on full laziness (floating bindings outwards). +Implied by \fI\%\-O\fP\&. +.TP +.B \fI\%\-ffun\-to\-thunk\fP +Allow worker\-wrapper to convert a function closure into a thunk +if the function does not use any of its arguments. Off by default. +.TP +.B \fI\%\-fignore\-asserts\fP +Ignore assertions in the source. Implied by \fI\%\-O\fP\&. +.TP +.B \fI\%\-fignore\-interface\-pragmas\fP +Ignore pragmas in interface files. Implied by \fI\%\-O0\fP only. +.TP +.B \fI\%\-flate\-dmd\-anal\fP +Run demand analysis again, at the end of the +simplification pipeline +.TP +.B \fI\%\-fliberate\-case\fP +Turn on the liberate\-case transformation. Implied by \fI\%\-O2\fP\&. +.TP +.B \fI\%\-fliberate\-case\-threshold=⟨n⟩\fP +\fIdefault: 2000.\fP Set the size threshold for the liberate\-case +transformation to ⟨n⟩ +.TP +.B \fI\%\-fllvm\-pass\-vectors\-in\-regs\fP +Pass vector value in vector registers for function calls +.TP +.B \fI\%\-floopification\fP +Turn saturated self\-recursive tail\-calls into local jumps in the +generated assembly. Implied by \fI\%\-O\fP\&. +.TP +.B \fI\%\-fmax\-inline\-alloc\-size=⟨n⟩\fP +\fIdefault: 128.\fP Set the maximum size of inline array allocations +to ⟨n⟩ bytes (default: 128). +.TP +.B \fI\%\-fmax\-inline\-memcpy\-insns=⟨n⟩\fP +\fIdefault: 32.\fP Inline \fBmemcpy\fP calls if they would generate no +more than ⟨n⟩ pseudo instructions. +.TP +.B \fI\%\-fmax\-inline\-memset\-insns=⟨n⟩\fP +\fIdefault: 32.\fP Inline \fBmemset\fP calls if they would generate no +more than ⟨n⟩ pseudo instructions +.TP +.B \fI\%\-fmax\-relevant\-binds=⟨n⟩\fP +\fIdefault: 6.\fP Set the maximum number of bindings to display in +type error messages. +.TP +.B \fI\%\-fmax\-simplifier\-iterations=⟨n⟩\fP +\fIdefault: 4.\fP Set the max iterations for the simplifier. +.TP +.B \fI\%\-fmax\-uncovered\-patterns=⟨n⟩\fP +\fIdefault: 4.\fP Set the maximum number of patterns to display in +warnings about non\-exhaustive ones. +.TP +.B \fI\%\-fmax\-valid\-substitutions=⟨n⟩\fP +\fIdefault: 6.\fP Set the maximum number of valid substitutions for +typed holes to display in type error messages. +.TP +.B \fI\%\-fmax\-worker\-args=⟨n⟩\fP +\fIdefault: 10.\fP If a worker has that many arguments, none will +be unpacked anymore. +.TP +.B \fI\%\-fno\-opt\-coercion\fP +Turn off the coercion optimiser +.TP +.B \fI\%\-fno\-pre\-inlining\fP +Turn off pre\-inlining +.TP +.B \fI\%\-fno\-state\-hack\fP +Turn off the state hackwhereby any lambda with a real\-world +state token as argument is considered to be single\-entry. Hence +OK to inline things inside it. +.TP +.B \fI\%\-fomit\-interface\-pragmas\fP +Don\(aqt generate interface pragmas. Implied by \fI\%\-O0\fP only. +.TP +.B \fI\%\-fomit\-yields\fP +Omit heap checks when no allocation is being performed. +.TP +.B \fI\%\-foptimal\-applicative\-do\fP +Use a slower but better algorithm for ApplicativeDo +.TP +.B \fI\%\-fpedantic\-bottoms\fP +Make GHC be more precise about its treatment of bottom (but see +also \fI\%\-fno\-state\-hack\fP). In particular, GHC will not +eta\-expand through a case expression. +.TP +.B \fI\%\-fregs\-graph\fP +Use the graph colouring register allocator for register +allocation in the native code generator. Implied by \fI\%\-O2\fP\&. +.TP +.B \fI\%\-fregs\-iterative\fP +Use the iterative coalescing graph colouring register allocator +in the native code generator. +.TP +.B \fI\%\-fsimpl\-tick\-factor=⟨n⟩\fP +\fIdefault: 100.\fP Set the percentage factor for simplifier ticks. +.TP +.B \fI\%\-fsimplifier\-phases=⟨n⟩\fP +\fIdefault: 2.\fP Set the number of phases for the simplifier. +Ignored with \fI\%\-O0\fP\&. +.TP +.B \fI\%\-fsolve\-constant\-dicts\fP +When solving constraints, try to eagerly solve +super classes using available dictionaries. +.TP +.B \fI\%\-fspec\-constr\fP +Turn on the SpecConstr transformation. Implied by \fI\%\-O2\fP\&. +.TP +.B \fI\%\-fspec\-constr\-count=⟨n⟩\fP +default: 3.* Set to ⟨n⟩ the maximum number of specialisations that +will be created for any one function by the SpecConstr +transformation. +.TP +.B \fI\%\-fspec\-constr\-keen\fP +Specialize a call with an explicit constructor argument, +even if the argument is not scrutinised in the body of the function +.TP +.B \fI\%\-fspec\-constr\-threshold=⟨n⟩\fP +\fIdefault: 2000.\fP Set the size threshold for the SpecConstr +transformation to ⟨n⟩. +.TP +.B \fI\%\-fspecialise\fP +Turn on specialisation of overloaded functions. Implied by \fI\%\-O\fP\&. +.TP +.B \fI\%\-fspecialise\-aggressively\fP +Turn on specialisation of overloaded functions regardless of +size, if unfolding is available +.TP +.B \fI\%\-fstatic\-argument\-transformation\fP +Turn on the static argument transformation. +.TP +.B \fI\%\-fstg\-cse\fP +Enable common sub\-expression elimination on the STG +intermediate language +.TP +.B \fI\%\-fstrictness\fP +Turn on strictness analysis. +Implied by \fI\%\-O\fP\&. Implies \fB\-fworker\-wrapper\fP +.TP +.B \fI\%\-fstrictness\-before=⟨n⟩\fP +Run an additional strictness analysis before simplifier phase ⟨n⟩ +.TP +.B \fI\%\-funbox\-small\-strict\-fields\fP +Flatten strict constructor fields with a pointer\-sized +representation. Implied by \fI\%\-O\fP\&. +.TP +.B \fI\%\-funbox\-strict\-fields\fP +Flatten strict constructor fields +.TP +.B \fI\%\-funfolding\-creation\-threshold=⟨n⟩\fP +\fIdefault: 750.\fP Tweak unfolding settings. +.TP +.B \fI\%\-funfolding\-dict\-discount=⟨n⟩\fP +\fIdefault: 30.\fP Tweak unfolding settings. +.TP +.B \fI\%\-funfolding\-fun\-discount=⟨n⟩\fP +\fIdefault: 60.\fP Tweak unfolding settings. +.TP +.B \fI\%\-funfolding\-keeness\-factor=⟨n⟩\fP +\fIdefault: 1.5.\fP Tweak unfolding settings. +.TP +.B \fI\%\-funfolding\-use\-threshold=⟨n⟩\fP +\fIdefault: 60.\fP Tweak unfolding settings. +.TP +.B \fI\%\-fvectorisation\-avoidance\fP +Enable vectorisation avoidance. Always enabled by default. +.TP +.B \fI\%\-fvectorise\fP +Enable vectorisation of nested data parallelism +.UNINDENT +.SS Optimization levels +.INDENT 0.0 +.TP +.B \fI\%\-O\fP +Enable level 1 optimisations +.TP +.B \fI\%\-O0\fP +Disable optimisations (default) +.TP +.B \fI\%\-O2\fP +Enable level 2 optimisations +.TP +.B \fI\%\-Odph\fP +Enable level 2 optimisations, set +\fB\-fmax\-simplifier\-iterations=20\fP +and \fB\-fsimplifier\-phases=3\fP\&. +.UNINDENT +.SS Package options +.INDENT 0.0 +.TP +.B \fI\%\-clear\-package\-db\fP +Clear the package db stack. +.TP +.B \fI\%\-distrust ⟨pkg⟩\fP +Expose package ⟨pkg⟩ and set it to be distrusted. See +\fI\%Safe Haskell\fP\&. +.TP +.B \fI\%\-distrust\-all\-packages\fP +Distrust all packages by default. See \fI\%Safe Haskell\fP\&. +.TP +.B \fI\%\-fpackage\-trust\fP +Enable \fI\%Safe Haskell\fP trusted package +requirement for trustworthy modules. +.TP +.B \fI\%\-global\-package\-db\fP +Add the global package db to the stack. +.TP +.B \fI\%\-hide\-all\-packages\fP +Hide all packages by default +.TP +.B \fI\%\-hide\-package ⟨pkg⟩\fP +Hide package ⟨pkg⟩ +.TP +.B \fI\%\-ignore\-package ⟨pkg⟩\fP +Ignore package ⟨pkg⟩ +.TP +.B \fI\%\-no\-auto\-link\-packages\fP +Don\(aqt automatically link in the base and rts packages. +.TP +.B \fI\%\-no\-global\-package\-db\fP +Remove the global package db from the stack. +.TP +.B \fI\%\-no\-user\-package\-db\fP +Remove the user\(aqs package db from the stack. +.TP +.B \fI\%\-package ⟨pkg⟩\fP +Expose package ⟨pkg⟩ +.TP +.B \fI\%\-package\-db ⟨file⟩\fP +Add ⟨file⟩ to the package db stack. +.TP +.B \fI\%\-package\-env ⟨file⟩|⟨name⟩\fP +Use the specified package environment. +.TP +.B \fI\%\-package\-id ⟨unit\-id⟩\fP +Expose package by id ⟨unit\-id⟩ +.TP +.B \fI\%\-this\-unit\-id ⟨unit\-id⟩\fP +Compile to be part of unit (i.e. package) +⟨unit\-id⟩ +.TP +.B \fI\%\-trust ⟨pkg⟩\fP +Expose package ⟨pkg⟩ and set it to be trusted. See +\fI\%Safe Haskell\fP\&. +.TP +.B \fI\%\-user\-package\-db\fP +Add the user\(aqs package db to the stack. +.UNINDENT +.SS Phases of compilation +.INDENT 0.0 +.TP +.B \fI\%\-C\fP +Stop after generating C (\fB\&.hc\fP file) +.TP +.B \fI\%\-c\fP +Stop after generating object (\fB\&.o\fP) file +.TP +.B \fI\%\-E\fP +Stop after preprocessing (\fB\&.hspp\fP file) +.TP +.B \fI\%\-F\fP +Enable the use of a \fI\%pre\-processor\fP +(set with \fI\%\-pgmF ⟨cmd⟩\fP) +.TP +.B \fI\%\-S\fP +Stop after generating assembly (\fB\&.s\fP file) +.TP +.B \fI\%\-x ⟨suffix⟩\fP +Override default behaviour for source files +.UNINDENT +.SS Overriding external programs +.INDENT 0.0 +.TP +.B \fI\%\-pgma ⟨cmd⟩\fP +Use ⟨cmd⟩ as the assembler +.TP +.B \fI\%\-pgmc ⟨cmd⟩\fP +Use ⟨cmd⟩ as the C compiler +.TP +.B \fI\%\-pgmdll ⟨cmd⟩\fP +Use ⟨cmd⟩ as the DLL generator +.TP +.B \fI\%\-pgmF ⟨cmd⟩\fP +Use ⟨cmd⟩ as the pre\-processor (with \fB\-F\fP only) +.TP +.B \fI\%\-pgmi ⟨cmd⟩\fP +Use ⟨cmd⟩ as the external interpreter command. +.TP +.B \fI\%\-pgmL ⟨cmd⟩\fP +Use ⟨cmd⟩ as the literate pre\-processor +.TP +.B \fI\%\-pgml ⟨cmd⟩\fP +Use ⟨cmd⟩ as the linker +.TP +.B \fI\%\-pgmlc ⟨cmd⟩\fP +Use ⟨cmd⟩ as the LLVM compiler +.TP +.B \fI\%\-pgmlibtool ⟨cmd⟩\fP +Use ⟨cmd⟩ as the command for libtool (with \fB\-staticlib\fP only). +.TP +.B \fI\%\-pgmlo ⟨cmd⟩\fP +Use ⟨cmd⟩ as the LLVM optimiser +.TP +.B \fI\%\-pgmP ⟨cmd⟩\fP +Use ⟨cmd⟩ as the C pre\-processor (with \fB\-cpp\fP only) +.TP +.B \fI\%\-pgms ⟨cmd⟩\fP +Use ⟨cmd⟩ as the splitter +.TP +.B \fI\%\-pgmwindres ⟨cmd⟩\fP +Use ⟨cmd⟩ as the program for embedding manifests on Windows. +.UNINDENT +.SS Phase\-specific options +.INDENT 0.0 +.TP +.B \fI\%\-opta ⟨option⟩\fP +pass ⟨option⟩ to the assembler +.TP +.B \fI\%\-optc ⟨option⟩\fP +pass ⟨option⟩ to the C compiler +.TP +.B \fI\%\-optdll ⟨option⟩\fP +pass ⟨option⟩ to the DLL generator +.TP +.B \fI\%\-optF ⟨option⟩\fP +pass ⟨option⟩ to the custom pre\-processor +.TP +.B \fI\%\-opti ⟨option⟩\fP +pass ⟨option⟩ to the interpreter sub\-process. +.TP +.B \fI\%\-optL ⟨option⟩\fP +pass ⟨option⟩ to the literate pre\-processor +.TP +.B \fI\%\-optl ⟨option⟩\fP +pass ⟨option⟩ to the linker +.TP +.B \fI\%\-optlc ⟨option⟩\fP +pass ⟨option⟩ to the LLVM compiler +.TP +.B \fI\%\-optlo ⟨option⟩\fP +pass ⟨option⟩ to the LLVM optimiser +.TP +.B \fI\%\-optP ⟨option⟩\fP +pass ⟨option⟩ to cpp (with \fB\-cpp\fP only) +.TP +.B \fI\%\-optwindres ⟨option⟩\fP +pass ⟨option⟩ to \fBwindres\fP\&. +.UNINDENT +.SS Platform\-specific options +.INDENT 0.0 +.TP +.B \fI\%\-msse2\fP +(x86 only) Use SSE2 for floating\-point operations +.TP +.B \fI\%\-msse4.2\fP +(x86 only) Use SSE4.2 for floating\-point operations +.UNINDENT +.SS Compiler plugins +.INDENT 0.0 +.TP +.B \fI\%\-fplugin\-opt=⟨module⟩:⟨args⟩\fP +Give arguments to a plugin module; module must be specified with +\fI\%\-fplugin=⟨module⟩\fP +.TP +.B \fI\%\-fplugin=⟨module⟩\fP +Load a plugin exported by a given module +.TP +.B \fI\%\-hide\-all\-plugin\-packages\fP +Hide all packages for plugins by default +.TP +.B \fI\%\-plugin\-package ⟨pkg⟩\fP +Expose ⟨pkg⟩ for plugins +.TP +.B \fI\%\-plugin\-package\-id ⟨pkg\-id⟩\fP +Expose ⟨pkg\-id⟩ for plugins +.UNINDENT +.SS Profiling +.INDENT 0.0 +.TP +.B \fI\%\-fno\-prof\-auto\fP +Disables any previous \fI\%\-fprof\-auto\fP, +\fI\%\-fprof\-auto\-top\fP, or \fI\%\-fprof\-auto\-exported\fP options. +.TP +.B \fI\%\-fno\-prof\-cafs\fP +Disables any previous \fI\%\-fprof\-cafs\fP option. +.TP +.B \fI\%\-fno\-prof\-count\-entries\fP +Do not collect entry counts +.TP +.B \fI\%\-fprof\-auto\fP +Auto\-add \fBSCC\fP\e s to all bindings not marked INLINE +.TP +.B \fI\%\-fprof\-auto\-calls\fP +Auto\-add \fBSCC\fP\e s to all call sites +.TP +.B \fI\%\-fprof\-auto\-exported\fP +Auto\-add \fBSCC\fP\e s to all exported bindings not marked INLINE +.TP +.B \fI\%\-fprof\-auto\-top\fP +Auto\-add \fBSCC\fP\e s to all top\-level bindings not marked INLINE +.TP +.B \fI\%\-fprof\-cafs\fP +Auto\-add \fBSCC\fP\e s to all CAFs +.TP +.B \fI\%\-prof\fP +Turn on profiling +.TP +.B \fI\%\-ticky\fP +\fI\%Turn on ticky\-ticky profiling\fP +.UNINDENT +.SS Program coverage +.INDENT 0.0 +.TP +.B \fI\%\-fhpc\fP +Turn on Haskell program coverage instrumentation +.UNINDENT +.SS Recompilation checking +.INDENT 0.0 +.TP +.B \fI\%\-fforce\-recomp\fP +Turn off recompilation checking. This is implied by any +\fB\-ddump\-X\fP option when compiling a single file +(i.e. when using \fB\-c\fP). +.TP +.B \fI\%\-fignore\-hpc\-changes\fP +Do not recompile modules just to match changes to +HPC flags. This is especially useful for avoiding recompilation +when using GHCi, and is enabled by default for GHCi. +.TP +.B \fI\%\-fignore\-optim\-changes\fP +Do not recompile modules just to match changes to +optimisation flags. This is especially useful for avoiding +recompilation when using GHCi, and is enabled by default for +GHCi. +.UNINDENT +.SS Redirecting output +.INDENT 0.0 +.TP +.B \fI\%\-\-exclude\-module=⟨file⟩\fP +Regard \fB⟨file⟩\fP as "stable"; i.e., exclude it from having +dependencies on it. +.TP +.B \fI\%\-ddump\-mod\-cycles\fP +Dump module cycles +.TP +.B \fI\%\-dep\-makefile ⟨file⟩\fP +Use ⟨file⟩ as the makefile +.TP +.B \fI\%\-dep\-suffix ⟨suffix⟩\fP +Make dependencies that declare that files with suffix +\fB\&.⟨suf⟩⟨osuf⟩\fP depend on interface files with suffix \fB\&.⟨suf⟩hi\fP +.TP +.B \fI\%\-dumpdir ⟨dir⟩\fP +redirect dump files +.TP +.B \fI\%\-hcsuf ⟨suffix⟩\fP +set the suffix to use for intermediate C files +.TP +.B \fI\%\-hidir ⟨dir⟩\fP +set directory for interface files +.TP +.B \fI\%\-hisuf ⟨suffix⟩\fP +set the suffix to use for interface files +.TP +.B \fI\%\-include\-pkg\-deps\fP +Regard modules imported from packages as unstable +.TP +.B \fI\%\-o ⟨file⟩\fP +set output filename +.TP +.B \fI\%\-odir ⟨dir⟩\fP +set directory for object files +.TP +.B \fI\%\-ohi ⟨file⟩\fP +set the filename in which to put the interface +.TP +.B \fI\%\-osuf ⟨suffix⟩\fP +set the output file suffix +.TP +.B \fI\%\-outputdir ⟨dir⟩\fP +set output directory +.TP +.B \fI\%\-stubdir ⟨dir⟩\fP +redirect FFI stub files +.UNINDENT +.SS Temporary files +.INDENT 0.0 +.TP +.B \fI\%\-tmpdir ⟨dir⟩\fP +set the directory for temporary files +.UNINDENT +.SS Verbosity options +.INDENT 0.0 +.TP +.B \fI\%\-fdiagnostics\-color=⟨always|auto|never⟩\fP +Use colors in error messages +.TP +.B \fI\%\-fdiagnostics\-show\-caret\fP +Whether to show snippets of original source code +.TP +.B \fI\%\-ferror\-spans\fP +Output full span in error messages +.TP +.B \fI\%\-fhide\-source\-paths\fP +hide module source and object paths +.TP +.B \fI\%\-fprint\-equality\-relations\fP +Distinguish between equality relations when printing +.TP +.B \fI\%\-fprint\-expanded\-synonyms\fP +In type errors, also print type\-synonym\-expanded types. +.TP +.B \fI\%\-fprint\-explicit\-coercions\fP +Print coercions in types +.TP +.B \fI\%\-fprint\-explicit\-foralls\fP +Print explicit \fBforall\fP quantification in types. +See also \fB\-XExplicitForAll\fP +.TP +.B \fI\%\-fprint\-explicit\-kinds\fP +Print explicit kind foralls and kind arguments in types. +See also \fB\-XKindSignatures\fP +.TP +.B \fI\%\-fprint\-explicit\-runtime\-rep\fP +Print \fBRuntimeRep\fP variables in types which are +runtime\-representation polymorphic. +.TP +.B \fI\%\-fprint\-explicit\-runtime\-reps\fP +Print \fBRuntimeRep\fP variables in types which are +runtime\-representation polymorphic. +.TP +.B \fI\%\-fprint\-potential\-instances\fP +display all available instances in type error messages +.TP +.B \fI\%\-fprint\-typechecker\-elaboration\fP +Print extra information from typechecker. +.TP +.B \fI\%\-fprint\-unicode\-syntax\fP +Use unicode syntax when printing expressions, types and kinds. +See also \fB\-XUnicodeSyntax\fP +.TP +.B \fI\%\-fshow\-hole\-constraints\fP +Show constraints when reporting typed holes +.TP +.B \fI\%\-Rghc\-timing\fP +Summarise timing stats for GHC (same as \fB+RTS \-tstderr\fP). +.TP +.B \fI\%\-v\fP +verbose mode (equivalent to \fB\-v3\fP) +.TP +.B \fI\%\-v⟨n⟩\fP +set verbosity level +.UNINDENT +.SS Warnings +.INDENT 0.0 +.TP +.B \fI\%\-fdefer\-out\-of\-scope\-variables\fP +Convert variable out of scope variables errors into warnings. +Implied by \fI\%\-fdefer\-type\-errors\fP\&. +See also \fI\%\-Wdeferred\-out\-of\-scope\-variables\fP\&. +.TP +.B \fI\%\-fdefer\-type\-errors\fP +Turn type errors into warnings, \fIdeferring the error until +runtime\fP\&. Implies +\fI\%\-fdefer\-typed\-holes\fP and +\fI\%\-fdefer\-out\-of\-scope\-variables\fP\&. +See also \fI\%\-Wdeferred\-type\-errors\fP +.TP +.B \fI\%\-fdefer\-typed\-holes\fP +Convert \fItyped hole\fP errors into warnings, +\fIdeferring the error until runtime\fP\&. +Implied by \fI\%\-fdefer\-type\-errors\fP\&. +See also \fI\%\-Wtyped\-holes\fP\&. +.TP +.B \fI\%\-fhelpful\-errors\fP +Make suggestions for mis\-spelled names. +.TP +.B \fI\%\-fmax\-pmcheck\-iterations=⟨n⟩\fP +the iteration limit for the pattern match checker +.TP +.B \fI\%\-fshow\-warning\-groups\fP +show which group an emitted warning belongs to. +.TP +.B \fI\%\-W\fP +enable normal warnings +.TP +.B \fI\%\-w\fP +disable all warnings +.TP +.B \fI\%\-Wall\fP +enable almost all warnings (details in \fI\%Warnings and sanity\-checking\fP) +.TP +.B \fI\%\-Wall\-missed\-specialisations\fP +warn when specialisation of any overloaded function fails. +.TP +.B \fI\%\-Wamp\fP +\fI(deprecated)\fP warn on definitions conflicting with the +Applicative\-Monad Proposal (AMP) +.TP +.B \fI\%\-Wcompat\fP +enable future compatibility warnings +(details in \fI\%Warnings and sanity\-checking\fP) +.TP +.B \fI\%\-Wcpp\-undef\fP +warn on uses of the \fI#if\fP directive on undefined identifiers +.TP +.B \fI\%\-Wdeferred\-out\-of\-scope\-variables\fP +Report warnings when variable out\-of\-scope errors are +\fIdeferred until runtime\fP\&. +See \fI\%\-fdefer\-out\-of\-scope\-variables\fP\&. +.TP +.B \fI\%\-Wdeferred\-type\-errors\fP +Report warnings when \fIdeferred type errors\fP are enabled. This option is enabled by +default. See \fI\%\-fdefer\-type\-errors\fP\&. +.TP +.B \fI\%\-Wdeprecated\-flags\fP +warn about uses of commandline flags that are deprecated +.TP +.B \fI\%\-Wdeprecations\fP +warn about uses of functions & types that have warnings or +deprecated pragmas. Alias for \fI\%\-Wwarnings\-deprecations\fP +.TP +.B \fI\%\-Wdodgy\-exports\fP +warn about dodgy exports +.TP +.B \fI\%\-Wdodgy\-foreign\-imports\fP +warn about dodgy foreign imports +.TP +.B \fI\%\-Wdodgy\-imports\fP +warn about dodgy imports +.TP +.B \fI\%\-Wduplicate\-constraints\fP +warn when a constraint appears duplicated in a type signature +.TP +.B \fI\%\-Wduplicate\-exports\fP +warn when an entity is exported multiple times +.TP +.B \fI\%\-Wempty\-enumerations\fP +warn about enumerations that are empty +.TP +.B \fI\%\-Werror\fP +make warnings fatal +.TP +.B \fI\%\-Weverything\fP +enable all warnings supported by GHC +.TP +.B \fI\%\-Whi\-shadowing\fP +warn when a \fB\&.hi\fP file in the current directory shadows a library +.TP +.B \fI\%\-Widentities\fP +warn about uses of Prelude numeric conversions that are probably +the identity (and hence could be omitted) +.TP +.B \fI\%\-Wimplicit\-prelude\fP +warn when the Prelude is implicitly imported +.TP +.B \fI\%\-Wincomplete\-patterns\fP +warn when a pattern match could fail +.TP +.B \fI\%\-Wincomplete\-record\-updates\fP +warn when a record update could fail +.TP +.B \fI\%\-Wincomplete\-uni\-patterns\fP +warn when a pattern match in a lambda expression or +pattern binding could fail +.TP +.B \fI\%\-Winline\-rule\-shadowing\fP +Warn if a rewrite RULE might fail to fire because the +function might be inlined before the rule has a chance to fire. +See \fIrules\-inline\fP\&. +.TP +.B \fI\%\-Wmissed\-specialisations\fP +warn when specialisation of an imported, overloaded function +fails. +.TP +.B \fI\%\-Wmissing\-export\-lists\fP +warn when a module declaration does not explicitly list all +exports +.TP +.B \fI\%\-Wmissing\-exported\-signatures\fP +warn about top\-level functions without signatures, only if they +are exported. takes precedence over \-Wmissing\-signatures +.TP +.B \fI\%\-Wmissing\-exported\-sigs\fP +\fI(deprecated)\fP +warn about top\-level functions without signatures, only if they +are exported. takes precedence over \-Wmissing\-signatures +.TP +.B \fI\%\-Wmissing\-fields\fP +warn when fields of a record are uninitialised +.TP +.B \fI\%\-Wmissing\-home\-modules\fP +warn when encountering a home module imported, but not listed +on the command line. Useful for cabal to ensure GHC won\(aqt pick +up modules, not listed neither in \fBexposed\-modules\fP, nor in +\fBother\-modules\fP\&. +.TP +.B \fI\%\-Wmissing\-import\-lists\fP +warn when an import declaration does not explicitly list all the +names brought into scope +.TP +.B \fI\%\-Wmissing\-local\-signatures\fP +warn about polymorphic local bindings without signatures +.TP +.B \fI\%\-Wmissing\-local\-sigs\fP +\fI(deprecated)\fP +warn about polymorphic local bindings without signatures +.TP +.B \fI\%\-Wmissing\-methods\fP +warn when class methods are undefined +.TP +.B \fI\%\-Wmissing\-monadfail\-instances\fP +Warn when a failable pattern is used in a do\-block that does +not have a \fBMonadFail\fP instance. +.TP +.B \fI\%\-Wmissing\-pattern\-synonym\-signatures\fP +warn when pattern synonyms do not have type signatures +.TP +.B \fI\%\-Wmissing\-signatures\fP +warn about top\-level functions without signatures +.TP +.B \fI\%\-Wmonomorphism\-restriction\fP +warn when the Monomorphism Restriction is applied +.TP +.B \fI\%\-Wname\-shadowing\fP +warn when names are shadowed +.TP +.B \fI\%\-Wno\-compat\fP +Disables all warnings enabled by \fI\%\-Wcompat\fP\&. +.TP +.B \fI\%\-Wnoncanonical\-monad\-instances\fP +warn when \fBApplicative\fP or \fBMonad\fP instances have +noncanonical definitions of \fBreturn\fP, \fBpure\fP, \fB(>>)\fP, +or \fB(*>)\fP\&. +See flag description in \fI\%Warnings and sanity\-checking\fP for more details. +.TP +.B \fI\%\-Wnoncanonical\-monadfail\-instances\fP +warn when \fBMonad\fP or \fBMonadFail\fP instances have +noncanonical definitions of \fBfail\fP\&. +See flag description in \fI\%Warnings and sanity\-checking\fP for more details. +.TP +.B \fI\%\-Wnoncanonical\-monoid\-instances\fP +warn when \fBSemigroup\fP or \fBMonoid\fP instances have +noncanonical definitions of \fB(<>)\fP or \fBmappend\fP\&. +See flag description in \fI\%Warnings and sanity\-checking\fP for more details. +.TP +.B \fI\%\-Worphans\fP +warn when the module contains \fIorphan instance declarations +or rewrite rules\fP +.TP +.B \fI\%\-Woverflowed\-literals\fP +warn about literals that will overflow their type +.TP +.B \fI\%\-Woverlapping\-patterns\fP +warn about overlapping patterns +.TP +.B \fI\%\-Wpartial\-fields\fP +warn when defining a partial record field. +.TP +.B \fI\%\-Wpartial\-type\-signatures\fP +warn about holes in partial type signatures when +\fB\-XPartialTypeSignatures\fP is enabled. Not applicable when +\fB\-XPartialTypesignatures\fP is not enabled, in which case +errors are generated for such holes. See +\fIpartial\-type\-signatures\fP\&. +.TP +.B \fI\%\-Wredundant\-constraints\fP +Have the compiler warn about redundant constraints in type +signatures. +.TP +.B \fI\%\-Wsafe\fP +warn if the module being compiled is regarded to be safe. +.TP +.B \fI\%\-Wsemigroup\fP +warn when a \fBMonoid\fP is not \fBSemigroup\fP, and on non\- +\fBSemigroup\fP definitions of \fB(<>)\fP? +.TP +.B \fI\%\-Wsimplifiable\-class\-constraints\fP +2arn about class constraints in a type signature that can +be simplified using a top\-level instance declaration. +.TP +.B \fI\%\-Wtabs\fP +warn if there are tabs in the source file +.TP +.B \fI\%\-Wtrustworthy\-safe\fP +warn if the module being compiled is marked as +\fI\%Trustworthy\fP but it could instead be marked as +\fI\%Safe\fP, a more informative bound. +.TP +.B \fI\%\-Wtype\-defaults\fP +warn when defaulting happens +.TP +.B \fI\%\-Wtyped\-holes\fP +Report warnings when \fItyped hole\fP errors are +\fIdeferred until runtime\fP\&. See +\fI\%\-fdefer\-typed\-holes\fP\&. +.TP +.B \fI\%\-Wunbanged\-strict\-patterns\fP +warn on pattern bind of unlifted variable that is neither bare +nor banged +.TP +.B \fI\%\-Wunrecognised\-pragmas\fP +warn about uses of pragmas that GHC doesn\(aqt recognise +.TP +.B \fI\%\-Wunrecognised\-warning\-flags\fP +throw a warning when an unreconised \fB\-W...\fP flag is +encountered on the command line. +.TP +.B \fI\%\-Wunsafe\fP +warn if the module being compiled is regarded to be unsafe. +See \fI\%Safe Haskell\fP +.TP +.B \fI\%\-Wunsupported\-calling\-conventions\fP +warn about use of an unsupported calling convention +.TP +.B \fI\%\-Wunsupported\-llvm\-version\fP +Warn when using \fB\-fllvm\fP with an unsupported +version of LLVM. +.TP +.B \fI\%\-Wunticked\-promoted\-constructors\fP +warn if promoted constructors are not ticked +.TP +.B \fI\%\-Wunused\-binds\fP +warn about bindings that are unused. Alias for +\fI\%\-Wunused\-top\-binds\fP, \fI\%\-Wunused\-local\-binds\fP and +\fI\%\-Wunused\-pattern\-binds\fP +.TP +.B \fI\%\-Wunused\-do\-bind\fP +warn about do bindings that appear to throw away values of types +other than \fB()\fP +.TP +.B \fI\%\-Wunused\-foralls\fP +warn about type variables in user\-written +\fBforall\fP\es that are unused +.TP +.B \fI\%\-Wunused\-imports\fP +warn about unnecessary imports +.TP +.B \fI\%\-Wunused\-local\-binds\fP +warn about local bindings that are unused +.TP +.B \fI\%\-Wunused\-matches\fP +warn about variables in patterns that aren\(aqt used +.TP +.B \fI\%\-Wunused\-pattern\-binds\fP +warn about pattern match bindings that are unused +.TP +.B \fI\%\-Wunused\-top\-binds\fP +warn about top\-level bindings that are unused +.TP +.B \fI\%\-Wunused\-type\-patterns\fP +warn about unused type variables which arise from patterns +in type family and data family instances +.TP +.B \fI\%\-Wwarn\fP +make warnings non\-fatal +.TP +.B \fI\%\-Wwarnings\-deprecations\fP +warn about uses of functions & types that have warnings or +deprecated pragmas +.TP +.B \fI\%\-Wwrong\-do\-bind\fP +warn about do bindings that appear to throw away monadic values +that you should have bound instead +.UNINDENT +.SH COPYRIGHT +.sp +Copyright 2015. The University Court of the University of Glasgow. +All rights reserved. +.SH AUTHOR +The GHC Team +.SH COPYRIGHT +2015, GHC Team +.\" Generated by docutils manpage writer. +. |