ghc - 云端在线

程序：

您的姓名

GHC - 格拉斯哥 Haskell 编译器

概要

高铁 [选项|文件名] ...
高铁 [选项|文件名] ...

商品描述

本手册页简要记录了 高铁 和 高铁 命令。 注意 高铁 还没有
适用于所有架构。 广泛的文档可用于其​​他各种
格式包括 DVI、PostScript 和 HTML； 见下文。

GHC 的每个命令行选项都被归类为 静止 or 动态. 一个静电
标志只能在命令行中指定，而动态标志也可以给出
在源文件中的 OPTIONS pragma 中，或使用 :set 从 GHCi 命令行设置。

根据经验，所有语言选项都是动态的，警告选项和
调试选项。

其余的都是静态的，显着的例外是 -v, -cpp, -fasm, -fvia-C, -flvm及
" -#include 。OPTIONS 部分列出了每个标志的状态。

Haskell 文件名的常见后缀是：

.hs Haskell 源代码； 预处理，编译

.lhs 识字的 Haskell 源代码； 未点亮，预处理，编译

。你好 接口文件； 包含有关导出符号的信息

.hc 中间 C 文件

.x_o 方式 x 目标文件； 常用的方法有： p, u, s

.x_你好 方式 x 接口文件

配置

冗长 选项
-v -vn -fprint-explicit-foralls -fprint-explicit-kinds -ferror-spans -H尺寸
-Rghc-​​timing

可再生 模式 of 操作
- 帮助，-？ --interactive --make -e expr --show-iface -M --supported-extensions,
--支持的语言 --show-options --info --version, -V --numeric-version
--打印libdir

哪 阶段 至 运行
-E -C -S -c -x 后缀

重新导向 产量
-hcsuf 后缀 -希迪尔 DIR -hisuf 后缀 -o 文件名 -Odir DIR -哦 文件名 -osuf
后缀 -存根目录 DIR -转储目录 DIR -输出目录 DIR

保持 中间 档
-keep-hc-file 或
-keep-hc-files -keep-llvm-file 或
-keep-llvm-files -keep-s-file 或
-keep-s-文件 -keep-tmp-文件

临时 档
-tmpdir

查找 进口
-idir1:dir2：... -一世

接口 文件 选项
-ddump-hi -ddump-hi-diffs -ddump-minimal-imports --show-iface 文件

重新编译 检查
-fforce-recomp -fno-force-recomp

交互模式 选项
-ignore-dot-ghci -ghci-script -fbreak-on-error -fno-break-on-error -fbreak-on-exception
-fno-break-on-exception -fghci-hist-size=n（默认为 50）-fprint-evld-with-show
-fno-print-evld-with-show -fprint-bind-结果 -fno-print-bind-结果
-fno-print-bind-contents -fno-隐式导入限定 -interactive-print


-这个包密钥 P -包 P -隐藏所有包 -隐藏包 姓名 -忽略包
姓名 -包数据库 文件 -clear-package-db -no-global-package-db -global-package-db
-no-user-package-db -user-package-db -no-auto-link-packages -trust P -怀疑 P
-不信任-所有

语言 选项
-f上下文堆栈=n -fglasgow-exts -fno-glasgow-exts -firefutable-tuples
-fno-irrefutable-tuples -fpackage-trust -ftype-function-深度=n -XAllowAmbigouslyTypes
-XNoAllowAmbigouslyTypes -XArrows -XNoArrows -XAutoDeriveTypeable -XNoAutoDeriveTypeable
-XBangPatterns -XNoBangPatterns -XBinaryLiterals -XNoBinaryLiterals -XCApiFFI
-XNoCAPIFFI -XConstrainedClassMethods -XNoConstrainedClassMethods -XConstraintKinds
-XNoConstraintKinds -XCPP -XNoCPP -XDataKinds -XNoDataKinds -XDefaultSignatures
-XNoDefaultSignatures -XDeriveAnyClass -XNoDeriveAnyClass -XDeriveDataTypeable
-XNoDeriveDataTypeable -XDeriveFunctor -XNoDeriveFunctor -XDeriveFoldable
-XNoDeriveFoldable -XDeriveGeneric -XNoDeriveGeneric -XDeriveTraversable
-XNoDeriveTraversable -XDisambigateRecordFields -XNoDisambigateRecordFields
-XEmptyCase -XNoEmptyCase -XEmptyDataDecls -XNoEmptyDataDecls
-XExistentialQuantification -XNoExistentialQuantification -XExplicitForAll
-XNoExplicitForAll -XExplicitNamespaces -XNoExplicitNamespaces -XExtendedDefaultRules
-XNoExtendedDefaultRules -XFlexibleContexts -XNoFlexibleContexts -XFlexibleInstances
-XNoFlexibleInstances -XForeignFunctionInterface -XNoForeignFunctionInterface
-XFunctionalDependencies -XNoFunctionalDependencies -XGADTs -XNoGADTs -XGADTSyntax
-XNoGADTSyntax -XGeneralizedNewtypeDeriving -XNoGeneralizedNewtypeDeriving -XGenerics
-XNoGenerics -XImplicitParams -XNoImplicitParams -XNoImplicitPrelude -XImplicitPrelude
-XImpredicativeTypes -XNoImpredicativeTypes -XIncoherentInstances -XNoIncoherentInstances
-XInstanceSigs -XNoInstanceSigs -XInterruptibleFFI -XNoInterruptibleFFI -XKindSignatures
-XNoKindSignatures -XLambdaCase -XNoLambdaCase -XLiberalTypeSynonyms
-XNoLiberalTypeSynonyms -XMagicHash -XNoMagicHash -XMonadCompressives
-XNoMonadCompressives -XMonoLocalBinds -XNoMonoLocalBinds -XNoMonomorphismRestriction
-XMonomorphismRestriction -XMultiParamTypeClasses -XNoMultiParamTypeClasses -XMultiWayIf
-XNoMultiWayIf -XNamedFieldPuns -XNoNamedFieldPuns -XNamedWildCards -XNoNamedWildCards
-XNegativeLiterals -XNoNegativeLiterals -XNoNPlusKPatterns -XNPlusKPatterns
-XNullaryTypeClasses -XNoNullaryTypeClasses -XNumDecimals -XNoNumDecimals
-XOverlappingInstances -XNoOverlappingInstances -XOverloadedLists -XNoOverloadedLists
-XOverloadedStrings -XNoOverloadedStrings -XPackageImports -XNoPackageImports
-XParallelArrays -XNoParallelArrays -XParallelListComp -XNoParallelListComp
-XPartialTypeSignatures -XNoPartialTypeSignatures -XPatternGuards -XNoPatternGuards
-XPatternSynonyms -XNoPatternSynonyms -XPolyKinds -XNoPolyKinds -XPolymorphicComponents
-XNoPolymorphicComponents -XPostfixOperators -XNoPostfixOperators -XQuasiQuotes
-XNoQuasiQuotes -XRank2Types -XNoRank2Types -XRankNTypes -XNoRankNTypes
-XRebindableSyntax -XNoRebindableSyntax -XRecordWildCards -XNoRecordWildCards
-XRecursiveDo -XNoRecursiveDo -XRelaxedPolyRec -XNoRelaxedPolyRec -XRoleAnnotations
-XNoRoleAnnotations -XSafe -XScopedTypeVariables -XNoScopedTypeVariables
-XStandaloneDeriving -XNoStandaloneDeriving -XTemplateHaskell -XNoTemplateHaskell
-XNoTraditionalRecordSyntax -XTraditionalRecordSyntax -XTransformListComp
-XNoTransformListComp -XTrustworthy -XTupleSections -XNoTupleSections -XTypeFamilies
-XNoTypeFamilies -XTypeOperators -XNoTypeOperators -XTypeSynonymInstances
-XNoTypeSynonymInstances -XUnboxedTuples -XNoUnboxedTuples -XUndecidableInstances
-XNoUndecidableInstances -XUnicodeSyntax -XNoUnicodeSyntax -XUnliftedFFITypes
-XNoUnliftedFFITypes -XUnsafe -XViewPatterns -XNoViewPatterns

</p>
-W -w -w -Wall -w -Werror -Wwarn -fdefer 类型错误 -fno 延迟类型错误
-fdefer-typed-holes -fno-defer-typed-holes -fhelpful-errors -fno-helpful-errors
-fwarn-deprecated-flags -fno-warn-deprecated-flags -fwarn-重复约束
-fno-警告重复约束 -fwarn-重复导出 -fno-警告重复导出
-fwarn-hi-shadowing -fno-warn-hi-shadowing -fwarn-identities -fno-warn-identities
-fwarn 隐式前奏 -fno 警告隐式前奏 -fwarn 不完整模式
-fno-warn-不完整模式-fwarn-不完整-uni-模式
-fno-警告不完整-uni-模式 -f警告-不完整-记录更新
-fno-警告-不完整-记录-更新-fwarn-惰性-未解除-绑定
-fno-warn-lazy-unlifted-bindings -fwarn-missing-fields -fno-warn-missing-fields
-fwarn-missing-import-lists -fnowarn-missing-import-lists -fwarn-missing-methods
-fno-警告缺少方法 -fwarn-缺少签名 -fno-警告缺少签名
-fwarn-missing-exported-sigs -fno-warn-missing-exported-sigs -fwarn-missing-local-sigs
-fno-warn-missing-local-sigs -fwarn-单态限制
-fno-warn-单态限制 -fwarn-name-shadowing -fno-warn-name-shadowing
-fwarn-orphans，-fwarn-auto-orphans -fno-warn-orphans，-fno-warn-auto-orphans
-fwarn-overlapping-patterns -fno-warn-overlapping-patterns -fwarn-tabs -fno-warn-tabs
-fwarn-type-defaults -fno-warn-type-defaults -fwarn-unrecognized-pragmas
-fno-warn-unrecognized-pragmas -fwarn-unticked-promoted-constructors
-fno-warn-unticked-promoted-构造函数 -fwarn-unused-binds -fno-warn-unused-binds
-fwarn-unused-imports -fno-warn-unused-imports -fwarn-unused-matches
-fno-warn-unused-matches -fwarn-unused-do-bind -fno-warn-unused-do-bind
-fwarn-错误-do-绑定 -fno-警告-错误-do-绑定 -fwarn-不安全 -fno-警告-不安全 -fwarn-安全
-fno-warn-safe -fwarn-trustworthy-safe -fno-warn-safe -fwarn-warnings-deprecations
-fno-warn-警告-弃用 -fwarn-amp -fno-warn-amp -fwarn-typed-holes
-fno-warn-typed-holes -fwarn-partial-type-signatures -fno-warn-partial-type-signatures
-fwarn-deriving-typeable -fno-warn-deriving-typeable

优化 各级
-O0 -O -O 或 -O1 -O0 -O2 -O0 -Odph

个人会员 优化
-fcall-arity -fno-call-arity -fcase-merge -fno-case-merge -fcmm-elim-common-blocks
-fno-cmm-elim-common-blocks -fcmm-sink -fno-cmm-sink -fcpr-off -fcse -fno-cse
-fdicts-便宜 -fno-dicts-便宜 -fdicts-strict -fno-dicts-strict -fdmd-tx-dict-sel
-fno-dmd-tx-dict-sel -fdo-eta-减少-fno-do-eta-减少
-fdo-lambda-eta-扩展 -fno-do-lambda-eta-扩展 -feager-blackholing
-fenable-rewrite-rules -fno-enable-rewrite-rules -fexcess- precision -fno-excess- precision
-fexpose-all-unfoldings -fno-expose-all-unfoldings -ffloat-in -fno-float-in
-ffull-lazyness -fno-full-lazyness -ffun-to-thunk -fno-fun-to-thunk -fignore-asserts
-fno-ignore-asserts -fignore-interface-pragmas -fno-ignore-interface-pragmas
-flate-dmd-anal -fno-late-dmd-anal -fliberate-case -fliberate-case-threshold=n
-fno-解放案例阈值 -floopification -fno-loopification
-fmax-内联-分配大小=n
-fmax-内联-memcpy-insns=n

-fmax-内联-memset-insns=n
-fmax-相关绑定=n -fno-max-相关绑定
-fmax-simplifier-iterations=n -fmax-worker-args=n -fno-opt-coercion -fno-预内联
-fno-state-hack -fomit-interface-pragmas -fno-omit-interface-pragmas -fomit-yields
-fno-省略产量 -fpedantic-bottoms -fno-pedantic-bottoms -fregs-graph -fno-regs-graph
-fregs-迭代-fno-regs-迭代-fsimplifier-phases=n-fsimpl-tick-factor=n
-fspec-constr -fno-spec-constr -fspec-constr-count=n -fno-spec-构造计数
-fspec-constr-阈值=n -fno-spec-constr-阈值 -fspecialise -fno-specialise
-f静态参数转换 -fno-静态参数转换 -fstrictness
-fno-严格性 -fstrictness-before=n -funbox-小严格字段
-fno-unbox-small-strict-fields -funbox-strict-fields -fno-unbox-strict-fields
-funfolding-creation-threshold=n -funfolding-dict-discount=n -funfolding-fun-discount=n
-funfolding-keeness-factor=n -funfolding-use-threshold=n -f向量化-避免
-fno-向量化-避免-fvectorise -fno-vectorise

剖析 选项
-prof -fprof-auto -fno-prof-auto -fprof-auto-top -fno-prof-auto -fprof-自动导出
-fno-prof-auto -fprof-cafs -fno-prof-cafs -fno-prof-count-entries -fprof-count-entries
- 滴答滴答

曲目 覆盖 选项
-fhpc -hpcdir 目录

哈斯克尔 预处理器 选项
-F

C 预处理器 选项
-cpp-D符号=折扣值 -U-U符号 -IDIR

代码 代 选项
-fasm -fllvm -fno-code -fwrite-interface -fbyte-code -fobject-code

链接 选项
-shared -staticlib -fPIC -dynamic -dynamic-too -dyno -dynosuf -dynload -framework
姓名 -框架路径 姓名 -lLIB -LDIR -main-is --mk-dll -no-hs-main -rtsopts，
-rtsopts={none,some,all} -with-rtsopts=opts -no-link -split-objs -static -threaded
-debug -ticky -eventlog -fno-gen-manifest -fno-embed-manifest -fno-shared-implib
-dylib-安装名称 径 -r动态

插件 选项
-f插件=模块 -fplugin-opt=模块：参数

更换 阶段
-pgmL CMD -pgmp CMD -PGMC CMD -PGMLO CMD -PGMLC CMD -PGMS CMD -PGMA CMD -pgml CMD
-pgmdll CMD -pgmF CMD -pgmwindres CMD -pgmlib工具 CMD -pgmreadelf CMD

强制 选项 至 特别 阶段
-optL 选项 -optP 选项 -optF 选项 -optc 选项 -optlo 选项 -光学 选项
-opta 选项 -optl 选项 -optdll 选项 -optwindres 选项

特定于平台 选项
-msse2

编译器 调试 选项
-dcore-lint -ddump-to-file -ddump-asm -ddump-bcos -ddump-cmm -ddump-core-stats
-ddump-cse -ddump-deriv -ddump-ds -ddump-foreign -ddump-hpc -ddump-inlineds
-ddump-llvm -ddump-occurr-anal -ddump-opt-cmm -ddump-parsed -ddump-prep -ddump-rn
-ddump-rule-firings -ddump-rule-rewrites -ddump-rules -ddump-vect -ddump-simpl
-ddump-simpl-iterations -ddump-spec -ddump-splices -ddump-stg -ddump-stralal
-ddump-strsigs -ddump-tc -dth-dec-file -ddump-types -ddump-worker-wrapper
-ddump-if-trace -ddump-tc-trace -ddump-vt-trace -ddump-rn-trace -ddump-rn-stats
-ddump-simpl-stats -dno-debug-输出 -dppr-debug -dppr-用户长度 -dppr-colsNNN
-dppr-case-as-let -dsuppress-all -dsuppress-uniques -dsuppress-idinfo
-dsuppress-模块前缀 -dsuppress-type-signatures -dsuppress-type-applications
-dsuppress-强制 -dsource-stats -dcmm-lint -dstg-lint -dstg-stats
-dverbose-core2core -dverbose-stg2stg -dshow-passes -dfaststring-stats -frule-check

杂项 编译 选项
-jN -fno-hi-版本检查 -fhistory-size -fno-ghci-history -fno-ghci-sandbox

冗长 配置

-v 详细模式（相当于 -v3)
[动态的]

-vn 设置详细级别
[动态的]

-fprint-显式-foralls
按类型打印显式 forall 量化
[动态的]

-fprint-显式种类
在类型中打印显式种类 forall 和种类参数
[动态的]

-ferror跨度
在错误消息中输出完整范围
[动态的]

-H尺寸 将最小堆大小设置为 尺寸
[动态的]

-Rghc-​​timing
汇总 GHC 的计时统计信息（与 +RTS -tstderr 相同）
[动态的]

备选 模式 OF 我们的业务

- 帮帮我,-?
显示帮助
[模式]

- 交互的
交互模式 - 通常仅通过运行 ghci 使用； 详情请参阅。
[模式]

- 制作 构建一个多模块 Haskell 程序，自动找出依赖关系。
可能比使用 make 更容易、更快； 详情请看..
[模式]

-e 表达式
评估 表达式; 详情请参阅。
[模式]

--show-iface
显示接口文件的内容。
[模式]

-M 生成适合在 Makefile 中使用的依赖信息； 详情请参阅。
[模式]

--支持的扩展, --支持的语言
显示支持的语言扩展
[模式]

--显示选项
显示支持的命令行选项
[模式]

- 信息 显示有关编译器的信息
[模式]

- 版本， -V
显示 GHC 版本
[模式]

--数字版本
显示 GHC 版本（仅限数字）
[模式]

--打印libdir
显示 GHC 库目录
[模式]

哪一个 阶段 TO 跑

-E 预处理后停止（.hspp 文件）
[模式]

-C 生成 C 后停止（.hc 文件）
[模式]

-S 生成程序集后停止（.s 文件）
[模式]

-c 生成对象 (.o) 文件后停止
[模式]

-x 后缀
覆盖源文件的默认行为
[动态的]

重定向 OUTPUT

-hcsuf 后缀
设置后缀以用于中间 C 文件
[动态的]

-希迪尔 DIR
设置接口文件的目录
[动态的]

-hisuf 后缀
设置用于接口文件的后缀
[动态的]

-o 文件名
设置输出文件名
[动态的]

-Odir DIR
为目标文件设置目录
[动态的]

-哦 文件名
设置放置界面的文件名
[动态的]

-osuf 后缀
设置输出文件后缀
[动态的]

-存根目录 DIR
重定向 FFI 存根文件
[动态的]

-转储目录 DIR
重定向转储文件
[动态的]

-输出目录 DIR
设置输出目录
[动态的]

保持 中间 FILES

-keep-hc-文件 or
-keep-hc-文件 保留中间 .hc 文件
[动态的]

-keep-llvm-文件 or
-keep-llvm-文件 保留中间 LLVM .ll 文件
[动态的]

-keep-s-文件 or
-keep-s-文件 保留中间 .s 文件
[动态的]

-keep-tmp-文件
保留所有中间临时文件
[动态的]

临时 FILES

-tmpdir
设置临时文件的目录
[动态的]

FINDING 进口商品

-idir1:dir2：...
加 DIR, dir2等导入路径
[动态/：设置]

-i 清空导入目录列表
[动态/：设置]

接口 文件 配置

-ddump-嗨
将新接口转储到标准输出
[动态的]

-ddump-hi-差异
显示与旧界面的差异
[动态的]

-ddump-最小进口
转储最少的导入集
[动态的]

--show-iface 文件
看 。
[]

重新编译 检查

-fforce-recomp
关闭重新编译检查。 这是任何暗示 -ddump-X 选项什么时候
编译单个文件（即使用 -c 时）。
[动态的]

交互模式 配置

-忽略点ghci
禁止读取 .ghci 文件
[动态的]

-ghci 脚本
阅读额外的 .ghci 文件
[动态的]

-f错误时中断
中断未捕获的异常和错误
[动态的]

-fbreak-on-异常
中断抛出的任何异常
[动态的]

-fghci-hist-size=n
设置 GHCi 为 :history 保留的条目数
[动态的]

-fprint-evld-with-show
在 :print 中启用 Show 实例的使用
[动态的]

-fprint-绑定结果
在 GHCi 中打开打印绑定结果
[动态的]

-fno-打印绑定内容
关闭 GHCi 中绑定内容的打印
[动态的]

-fno-隐式导入限定
关闭 GHCi 中所有内容的隐式限定导入
[动态的]

-交互式打印
选择用于在 GHCi 中打印计算表达式的函数
[动态的]

配套

-这个包密钥 P
编译为包的一部分 P
[动态的]

-包 P
暴露包 P
[动态/：设置]

-隐藏所有包
默认隐藏所有包
[动态的]

-隐藏包 姓名
隐藏包裹 P
[动态/：设置]

-忽略包 姓名
忽略包 P
[动态/：设置]

-包数据库 文件
地址 文件 到包 db 堆栈。
[动态的]

-清除包数据库
清除包数据库堆栈。
[动态的]

-无全局包数据库
从堆栈中删除全局包 db。
[动态的]

-全局包数据库
将全局包 db 添加到堆栈中。
[动态的]

-没有用户包数据库
从堆栈中删除用户的包 db。
[动态的]

-用户包数据库
将用户的包 db 添加到堆栈中。
[动态的]

-没有自动链接包
不要自动链接 base 和 rts 包。
[动态的]

-相信 P
暴露包 P 并将其设置为可信任
[动态/：设置]

-怀疑 P
暴露包 P 并将其设置为不信任
[动态/：设置]

-不信任-所有
默认不信任所有包
[动态/：设置]

语言 配置

-f上下文堆栈=n
设置类型类上下文减少的限制。 默认值为 100。
[动态的]

-fglasgow-exts
已弃用。 启用大多数语言扩展； 看看到底是哪些。
[动态的]

-firefutable-tuples
使元组模式匹配无可辩驳
[动态的]

-fpackage-信任
为可信模块启用 Safe Haskell 可信包要求。
[动态的]

-ftype 函数深度=n
设置类型函数缩减的限制。 默认值为 200。
[动态的]

-XAllowAmbigouslyTypes
允许用户编写歧义类型，以及类型推断引擎进行推断
他们。
[动态的]

-X箭头
启用箭头符号扩展
[动态的]

-XAutoDeriveTypeable
从 GHC 7.10 开始，不需要也不应该使用此选项。 自动地
为每个数据类型和类型类声明派生 Typeable 实例。 暗示
-XDeriveDataTypeable.
[动态的]

-XBangPatterns
启用爆炸模式。
[动态的]

-X二进制文字
启用对二进制文字的支持。
[动态的]

-XCApiFFI
启用 CAPI 调用约定。
[动态的]

-XConstrainedClassMethods
启用受约束的类方法。
[动态的]

-X约束种类
启用一种约束。
[动态的]

-XCPP 启用 C 预处理器。
[动态的]

-XDataKinds
启用数据类型提升。
[动态的]

-X默认签名
启用默认签名。
[动态的]

-XDeriveAnyClass
为任何类启用派生。
[动态的]

-XDeriveDataTypeable
为 Data 类启用派生。 暗示的 -XAutoDeriveTypeable.
[动态的]

-XDeriveFunctor
为 Functor 类启用派生。 暗示的 -XDeriveTraversable.
[动态的]

-XDerive可折叠
启用可折叠类的派生。 暗示的 -XDeriveTraversable.
[动态的]

-XDeriveGeneric
为泛型类启用派生。
[动态的]

-XDeriveTraversable
为 Traversable 类启用派生。 暗示 -XDeriveFunctor 和
-XDerive可折叠.
[动态的]

-X消除记录字段歧义
启用记录字段消歧。 暗示的 -XRecordWildCards.
[动态的]

-X空箱
允许空箱替代。
[动态的]

-XEmptyDataDecls
启用空数据声明。
[动态的]

-X存在量化
启用存在量化。
[动态的]

-XExplicitForAll
启用显式通用量化。 暗示的 -XScopedTypeVariables,
-XLiberalType同义词, -XRankN类型 和 -X存在量化.
[动态的]

-X显式命名空间
启用使用关键字类型指定导入和条目的命名空间
出口（）。 暗示的 -XType运算符 和 -XType家族.
[动态的]

-X扩展默认规则
在普通模块中使用 GHCi 的扩展默认规则。
[动态的]

-X灵活上下文
启用灵活的上下文。 暗示的 -XimplicitParams.
[动态的]

-X灵活实例
启用灵活实例。 暗示 -XTypeSynonymInstances. 暗示的
-XimplicitParams.
[动态的]

-X外部函数接口
启用外部函数接口。
[动态的]

-X功能依赖性
启用函数依赖。 暗示 -XMultiParamTypeClasses.
[动态的]

-XGADT
启用广义代数数据类型。 暗示 -XGADTS语法 和 -XMonoLocalBinds.
[动态的]

-XGADTS语法
启用广义代数数据类型语法。
[动态的]

-X广义新类型推导
启用新类型派生。
[动态的]

-X泛型
已弃用，什么都不做。 不再启用泛型类。 另请参阅 GHC 的支持
用于泛型编程。
[动态的]

-XimplicitParams
启用隐式参数。 暗示 -X灵活上下文 和 -X灵活实例.
[动态的]

-XNoImplicit Prelude
不要隐式导入 Prelude。 暗示的 -XRebindable语法.
[动态的]

-XimpredicativeTypes
启用不可预测的类型。 暗示 -XRankN类型.
[动态的]

-X不连贯实例
启用不连贯的实例。 暗示 -X重叠实例.
[动态的]

-XInstanceSigs
启用实例签名。
[动态的]

-X可中断FFI
启用可中断 FFI。
[动态的]

-XKindSignatures
启用种类签名。 暗示的 -XType家族 和 -XPolyKinds.
[动态的]

-XLambda案例
启用 lambda-case 表达式。
[动态的]

-XLiberalType同义词
启用自由化类型同义词。
[动态的]

-XMagicHash
允许“#”作为标识符的后缀修饰符。
[动态的]

-XMonad理解
启用 monad 理解。
[动态的]

-XMonoLocalBinds
启用不概括本地绑定。 暗示的 -XType家族 和 -XGADT.
[动态的]

-XNoMonomorphismRestriction
禁用单态限制。
[动态的]

-XMultiParamTypeClasses
启用多参数类型类。 暗示的 -X功能依赖性.
[动态的]

-XMultiWayIf
启用多路 if 表达式。
[动态的]

-XNamedFieldPuns
启用记录双关语。
[动态的]

-X命名通配符
启用命名通配符。
[动态的]

-X负数
启用对否定文字的支持。
[动态的]

-XNoNPlusKPatterns
禁用对 n+k 模式的支持。
[动态的]

-XNullaryTypeClasses
已弃用，什么都不做。 现在使用 nullary（无参数）类型类启用
-XMultiParamTypeClasses.
[动态的]

-XNumDecimals
启用对“分数”整数文字的支持。
[动态的]

-X重叠实例
启用重叠实例。
[动态的]

-X重载列表
启用重载列表。
[动态的]

-XOverloadedStrings
启用重载的字符串文字。
[动态的]

-XPackageImports
启用包限定的导入。
[动态的]

-X并行数组
启用并行阵列。 暗示 -XParallelListComp.
[动态的]

-XParallelListComp
启用并行列表理解。 暗示的 -X并行数组.
[动态的]

-XPartialTypeSignatures
启用部分类型签名。
[动态的]

-XPatternGuards
启用模式保护。
[动态的]

-XPattern 同义词
启用模式同义词。
[动态的]

-XPolyKinds
启用种类多态性。 暗示 -XKindSignatures.
[动态的]

-X多态组件
为数据构造函数启用多态组件。
[动态，同义词 -XRankN类型]

-XPostfix操作符
启用后缀运算符。
[动态的]

-X准行情
启用准报价。
[动态的]

-XRank2类型
启用 rank-2 类型。
[动态，同义词 -XRankN类型]

-XRankN类型
启用等级 N 类型。 暗示的 -XimpredicativeTypes.
[动态的]

-XRebindable语法
采用可重新绑定的语法。 暗示 -XNoImplicit Prelude.
[动态的]

-XRecordWildCards
启用记录通配符。 暗示 -X消除记录字段歧义.
[动态的]

-X递归做
启用递归 do (mdo) 表示法。
[动态的]

-XRelaxedPolyRec
（已弃用）放松检查相互递归的多态函数。
[动态的]

-XRoleAnnotations
启用角色注释。
[动态的]

-X安全 启用安全 Haskell 安全模式。
[动态的]

-XScopedTypeVariables
启用词法范围的类型变量。
[动态的]

-X独立推导
启用独立派生。
[动态的]

-XTemplateHaskell
启用模板 Haskell。
[动态的]

-XNoTraditionalRecordSyntax
禁用对传统记录语法的支持（由 Haskell 98 支持） C {f =
x}
[动态的]

-XTransformListComp
启用广义列表理解。
[动态的]

-X值得信赖
启用安全 Haskell 可信模式。
[动态的]

-X元组部分
启用元组部分。
[动态的]

-XType家族
启用类型系列。 暗示 -X显式命名空间, -XKindSignatures 和
-XMonoLocalBinds.
[动态的]

-XType运算符
启用类型运算符。 暗示 -X显式命名空间.
[动态的]

-XTypeSynonymInstances
在实例头中启用类型同义词。 暗示的 -X灵活实例.
[动态的]

-XUnboxedTuples
启用未装箱的元组。
[动态的]

-XUndecidableInstances
启用不可判定的实例。
[动态的]

-XUnicode 语法
启用 unicode 语法。
[动态的]

-XUnliftedFFI类型
启用未解除的 ​​FFI 类型。
[动态的]

-X不安全
启用安全 Haskell 不安全模式。
[动态的]

-XViewPatterns
启用视图模式。
[动态的]

警告

-W 启用正常警告
[动态的]

-w 禁用所有警告
[动态的]

-墙 启用几乎所有警告（详见 ）
[动态的]

-错误
使警告致命
[动态的]

-警告 使警告不致命
[动态的]

-fdefer 类型错误
将类型错误转换为警告，将错误推迟到运行时。 暗示
-fdefer 型孔.
[动态的]

-fdefer 型孔
将键入的漏洞错误转换为警告，将错误推迟到运行时。 默示
by -fdefer 类型错误。 另请参见 -fwarn 类型的孔.
[动态的]

-有用的错误
对拼写错误的名称提出建议。
[动态的]

-fwarn-弃用标志
警告使用已弃用的命令行标志
[动态的]

-fwarn-重复约束
当约束在类型签名中出现重复时发出警告
[动态的]

-fwarn-重复出口
多次导出实体时发出警告
[动态的]

-fwarn-hi-阴影
当当前目录中的 .hi 文件隐藏库时发出警告
[动态的]

-fwarn-身份
警告使用 Prelude 数字转换可能是身份（和
因此可以省略）
[动态的]

-fwarn-隐式前奏
隐式导入 Prelude 时发出警告
[动态的]

-fwarn 不完整模式
当模式匹配失败时发出警告
[动态的]

-fwarn-不完整的单向模式
当 lambda 表达式或模式绑定中的模式匹配可能失败时发出警告
[动态的]

-fwarn-不完整的记录更新
记录更新可能失败时发出警告
[动态的]

-fwarn-惰性未解除-绑定
（已弃用）当模式绑定看起来很懒但必须严格时发出警告
[动态的]

-fwarn 缺失字段
当记录的字段未初始化时发出警告
[动态的]

-fwarn-缺少导入列表
当导入声明没有明确列出引入的所有名称时发出警告
范围
[动态的]

-fwarn 缺失方法
未定义类方法时发出警告
[动态的]

-fwarn-缺少签名
警告没有签名的顶级函数
[动态的]

-fwarn-缺少导出的信号
警告没有签名的顶级函数，仅当它们被导出时。 需要
优先于 -fwarn-missing-signatures
[动态的]

-fwarn-缺少本地信号
警告没有签名的多态本地绑定
[动态的]

-fwarn-单态限制
应用单态限制时发出警告
[动态的]

-fwarn-名称遮蔽
当名称被遮蔽时发出警告
[动态的]

-fwarn-孤儿， -fwarn-自动孤儿
当模块包含孤立实例声明或重写规则时发出警告
[动态的]

-fwarn-重叠模式
警告重叠模式
[动态的]

-fwarn 选项卡
警告源文件中是否有选项卡
[动态的]

-fwarn-类型默认值
发生违约时发出警告
[动态的]

-fwarn-unrecognized-pragmas
警告 GHC 无法识别的编译指示的使用
[动态的]

-fwarn-未勾选的升级构造函数
如果未勾选提升的构造函数，则发出警告
[动态的]

-fwarn-未使用的绑定
警告未使用的绑定
[动态的]

-fwarn-未使用的进口
警告不必要的进口
[动态的]

-fwarn-未使用的匹配项
警告模式中未使用的变量
[动态的]

-fwarn-未使用-做绑定
警告 do 似乎丢弃 () 以外类型值的绑定
[动态的]

-fwarn-错误-绑定
警告不要绑定似乎会丢弃您应该使用的 monadic 值
已经绑定了
[动态的]

-fwarn-不安全
如果正在编译的模块被认为是不安全的，则发出警告。 应该用来检查
使用安全推理时模块的安全状态。 适用于所有模块类型，
甚至那些使用显式安全 Haskell 模式（例如 -X值得信赖) 所以可以是
过去常常让编译器检查所​​做的任何假设。
[动态的]

-fwarn-安全
如果正在编译的模块被认为是安全的，则发出警告。 应该用来检查
使用安全推理时模块的安全状态。 适用于所有模块类型，
甚至那些使用显式安全 Haskell 模式（例如 -X值得信赖) 所以可以是
过去常常让编译器检查所​​做的任何假设。
[动态的]

-fwarn-值得信赖的安全
如果正在编译的模块被标记为警告 -X值得信赖 但它可以代替
被标记为 -X安全，一个信息量更大的界限。 可用于检测一次保险箱
随着依赖项的更新，可以改进 Haskell 边界。
[动态的]

-fwarn-警告-弃用
警告使用具有警告或已弃用编译指示的函数和类型
[动态的]

-fwarn 放大器
（已弃用）警告与 Applicative-Monad 提案冲突的定义
（AMP）
[动态的]

-fwarn 类型的孔
当键入的孔错误被推迟到运行时报告警告。 看
-fdefer 型孔.
[动态的]

-fwarn-部分类型签名
警告部分类型签名中的漏洞 -XPartialType 签名 is
启用。 不适用时 -XPartialType 签名 未启用，在这种情况下
此类漏洞会产生错误。 看 。
[动态的]

-fwarn-派生-可键入
遇到派生 Typeable 类实例的请求时发出警告。 截至 GHC
7.10，这样的声明是不必要的，会被编译器忽略，因为 GHC
有一个自定义求解器来解除这种类型的约束。
[动态的]

优化 各级

-氧气 禁用优化（默认）
[动态的]

-O or -氧气
启用 1 级优化
[动态的]

-氧气 启用 2 级优化
[动态的]

-Odph 启用级别 2 优化，设置 -fmax-简化器迭代=20 和
-f简化阶段=3.
[动态的]

个人 优化

-fcall-arity
启用调用数量优化。 暗示的 -O.
[动态的]

-fcase-合并
启用大小写合并。 暗示的 -O.
[动态的]

-fcmm-elim-公共块
启用 Cmm 公共块消除。 暗示的 -O.
[动态的]

-fcmm-接收器
启用 Cmm 下沉。 暗示的 -O.
[动态的]

-fcpr-关闭
在需求分析器中关闭 CPR 分析。
[静态的]

-fse 启用公共子表达式消除。 暗示的 -O.
[动态的]

-fdicts-便宜
使字典值表达式对优化器来说显得廉价。
[动态的]

-fdicts-严格
使字典严格
[动态的]

-fdmd-tx-dict-sel

对字典选择器使用特殊需求转换器。 始终启用
默认。
[动态的]

-fdo-eta-reduce
启用 eta 减少。 暗示的 -O.
[动态的]

-fdo-lambda-eta-扩展
启用 lambda eta 扩展。 默认情况下始终启用。
[动态的]

-feager-黑洞
开启急切的黑洞
[动态的]

-fenable-重写规则
开启所有重写规则（包括自动特化生成的规则
重载函数）。 暗示的 -O.
[动态的]

-fexcess-精度
启用额外的中间精度
[动态的]

-fexpose-全部展开
公开所有展开，即使是非常大的或递归的函数。
[动态的]

-float-in
打开浮动转换。 暗示的 -O.
[动态的]

-完全懒惰
打开完全懒惰（向外浮动绑定）。 暗示的 -O.
[动态的]

-fun-to-thunk
允许 worker-wrapper 将函数闭包转换为 thunk，如果函数
不使用它的任何参数。 默认关闭。
[动态的]

-fignore 断言
忽略源中的断言。 暗示的 -O.
[动态的]

-fignore-接口杂注
忽略接口文件中的编译指示。 暗示的 -氧气 只。
[动态的]

-flat-dmd-肛门
在简化管道的末尾再次运行需求分析
[动态的]

-自由案例
打开 liberate-case 转换。 暗示的 -氧气.
[动态的]

-自由案例阈值=n
将 liberate-case 转换的大小阈值设置为 n （默认：2000）
[动态]

-浮化
将饱和的自递归尾调用转换为生成的局部跳转
集会。 暗示的 -O.
[动态的]

-fmax-内联分配大小=n
将内联数组分配的最大大小设置为 n 字节（默认值：128）。 全球健康中心
将在当前 Nurseries 中分配静态已知大小的非固定数组
如果它们不大于 n 字节，忽略 GC 堆。 这个值应该是
比块大小小很多（通常：4096）。
[动态的]

-fmax-内联-memcpy-insns=n

内联 memcpy 调用，如果它们生成的不超过 n 伪指令
（默认值：32）。
[动态的]

-fmax-内联-memset-insns=n

内联 memset 调用，如果它们生成的不超过 n 伪指令
（默认值：32）。
[动态的]

-fmax-相关绑定=n
设置在类型错误消息中显示的最大绑定数（默认为 6）。
[动态的]

-fmax-简化器迭代次数=n
设置简化器的最大迭代次数（默认为 4）。
[动态的]

-fmax-worker-args=n
如果一个工人有那么多参数，则不会再解包（默认值：10）
[动态的]

-fno-opt-强制
关闭强制优化器
[静态的]

-fno-预内联
关闭预内联
[动态的]

-fno状态黑客
关闭“状态黑客”，即任何具有真实世界状态标记的 lambda 作为
参数被认为是单项。 因此可以在其中内联事物。
[静态的]

-fomit-接口杂注
不要生成界面编译指示。 暗示的 -氧气 只。
[动态的]

-fomit-产量
当没有执行分配时省略堆检查。
[动态的]

-fpedantic-底部
使 GHC 更精确地处理底部（但另请参见
-fno状态黑客）。 特别是，GHC 不会通过 case 表达式进行 eta-expand。
[动态的]

-fregs-图
使用图形着色寄存器分配器在本机中进行寄存器分配
代码生成器。 暗示的 -氧气.
[动态的]

-fregs-迭代
在本机代码中使用迭代合并图着色寄存器分配器
发电机。
[动态的]

-fsimplifier-phases=n
设置简化器的阶段数（默认为 2）。 忽略 -氧气.
[动态的]

-fsimpl-刻度因子=n
设置简化器刻度的百分比因子（默认 100）
[动态的]

-fspec-构造
打开 SpecConstr 转换。 暗示的 -氧气.
[动态的]

-fspec-构造计数=n
设置 n （默认值：3）将创建的最大专业数
通过 SpecConstr 转换为任何一个函数
[动态的]

-fspec-constr-阈值=n
将 SpecConstr 转换的大小阈值设置为 n （默认：2000）
[动态的]

-f专业
打开重载函数的特化。 暗示的 -O.
[动态的]

-fstatic-参数转换
打开静态参数转换。
[动态的]

-严格
打开严格性分析。 暗示的 -O.
[动态的]

-fstrictness-之前=n
在简化阶段之前运行额外的严格性分析 n
[动态的]

-funbox-小严格字段
使用指针大小的表示来展平严格的构造函数字段。 暗示的
-O.
[动态的]

-funbox-严格字段
展平严格的构造函数字段
[动态的]

-funfolding-创建阈值=n
调整展开设置。 默认值：750
[动态的]

-funfolding-dict-折扣=n
调整展开设置。 默认值：30
[动态的]

-funfolding-乐趣-折扣=n
调整展开设置。 默认值：60
[动态的]

-funfolding-keeness-因子=n
调整展开设置。 默认值：1.5
[动态的]

-funfolding-使用阈值=n
调整展开设置。 默认值：60
[动态的]

-fvectorisation-避免
启用矢量化避免。 默认情况下始终启用。
[动态的]

-矢量化
启用嵌套数据并行的矢量化
[动态的]

剖析 配置

-教授 开启分析
[动态的]

-fprof-自动
将 SCC 自动添加到所有未标记为 INLINE 的绑定
[动态的]

-fprof-自动顶部
自动将 SCC 添加到所有未标记为 INLINE 的顶级绑定
[动态的]

-fprof-自动导出
将 SCC 自动添加到所有未标记为 INLINE 的导出绑定
[动态的]

-fprof-咖啡馆
自动将 SCC 添加到所有 CAF
[动态的]

-fno-prof-count-entry
不收集入场次数
[动态的]

- 滴答滴答 打开ticky-ticky分析
[动态的]

课程 覆盖范围 配置

-fhpc 打开 Haskell 程序覆盖检测
[动态的]

-hpcdir DIR
编译期间存放 .mix 文件的目录（默认为 .hpc）
[动态的]

哈斯克尔 预处理器 配置

-F 启用预处理器的使用（设置为 -pgmF)
[动态的]

C 预处理器 配置

-cpp 在 Haskell 源文件上运行 C 预处理器
[动态的]

-D符号=折扣值
在 C 预处理器中定义一个符号
[动态的]

-U符号
在 C 预处理器中取消定义符号
[动态的]

-IDIR 地址 DIR 到#include 文件的目录搜索列表
[动态的]

守则 代 配置

-fasm 使用本机代码生成器
[动态的]

-flvm 使用 LLVM 代码生成器编译
[动态的]

-fno 代码
省略代码生成
[动态的]

-fwrite 接口
总是写接口文件
[动态的]

-fbyte 代码
生成字节码
[动态的]

-f对象代码
生成目标代码
[动态的]

链接 配置

-共享
生成共享库（与可执行文件相反）
[动态的]

-静态库
仅在 Darwin/OS X/iOS 上，生成一个独立的静态库（而不是一个
可执行文件）。 这是为 iOS 编译的常用方法。
[动态的]

-fPIC 生成与位置无关的代码（如果可用）
[动态的]

-动态
使用动态 Haskell 库（如果可用）
[动态的]

-动态太
在编译期间构建动态目标文件以及静态目标文件
[动态的]

-测功机 设置动态链接对象的输出路径
[动态的]

-dynosuf
设置动态目标文件的输出后缀
[动态的]

-动态负载
选择用于在运行时查找共享库的多种模式之一。
[动态的]

-框架 姓名
仅在 Darwin/OS X/iOS 上，在框架中链接 姓名. 该选项对应于
-框架 Apple 链接器的选项。
[动态的]

-框架路径 姓名
仅在 Darwin/OS X/iOS 上，添加 DIR 到搜索的目录列表
构架。 该选项对应于 -F Apple 链接器的选项。
[动态的]

-lLIB 图书馆链接 LIB
[动态的]

-LDIR 地址 DIR 到搜索库的目录列表
[动态的]

-主要是
设置主要模块和功能
[动态的]

--mk-dll
DLL 创建模式（仅限 Windows）
[动态的]

-无 hs-main
不要假设这个程序包含 main
[动态的]

-rtsopts, -rtsopts={无，一些，全部}
控制是否可以通过命令行标志和
GHCRTS 环境变量。 使用 none 意味着不能给出 RTS 标志； 某种手段
只能给出最少的安全选项（默认）和所有（或不带参数）
at all) 表示允许所有 RTS 标志。
[动态的]

-with-rtsopts=选项
将默认 RTS 选项设置为 选择.
[动态的]

-无链接
省略链接
[动态的]

-拆分对象
拆分对象（用于库）
[动态的]

-静态的
使用静态 Haskell 库
[动态的]

螺纹的
使用线程运行时
[动态的]

-调试 使用调试运行时
[动态的]

- 滴答滴答 对于链接，这仅仅意味着 -调试; 看 。
[动态的]

-事件记录日志
启用运行时事件跟踪
[动态的]

-fno-gen-清单
不生成清单文件（仅限 Windows）
[动态的]

-fno-嵌入清单
不要在可执行文件中嵌入清单（仅限 Windows）
[动态的]

-fno-共享-implib
不要为 DLL 生成导入库（仅限 Windows）
[动态的]

-dylib-安装名称 径
设置安装名称（通过 -install_name 传递给 Apple 的链接器），指定
库文件的完整安装路径。 链接的任何库或可执行文件
稍后它将选择该路径作为其运行时搜索位置。 （达尔文/操作系统
仅 X)
[动态的]

-r动态
这会指示链接器将所有符号（不仅是使用过的符号）添加到动态
符号表。 目前仅适用于 Linux 和 Windows/MinGW32。 这相当于使用
-optl -rdynamic 在 Linux 上，-optl -export-all-symbols 在 Windows 上。
[动态的]

PLUGIN 配置

-f插件=模块
加载由给定模块导出的插件
[动态的]

-fplugin-opt=模块：参数
为插件模块提供参数； 模块必须指定为 -f插件
[动态的]

更换 阶段

-pgmL CMD
使用 CMD 作为文学预处理器
[动态的]

-pgmp CMD
使用 CMD 作为 C 预处理器（与 -cpp 只有）
[动态的]

-PGMC CMD
使用 CMD 作为 C 编译器
[动态的]

-PGMLO CMD
使用 CMD 作为 LLVM 优化器
[动态的]

-PGMLC CMD
使用 CMD 作为 LLVM 编译器
[动态的]

-PGMS CMD
使用 CMD 作为分离器
[动态的]

-PGMA CMD
使用 CMD 作为汇编者
[动态的]

-pgml CMD
使用 CMD 作为链接器
[动态的]

-pgmdll CMD
使用 CMD 作为 DLL 生成器
[动态的]

-pgmF CMD
使用 CMD 作为预处理器（与 -F 只有）
[动态的]

-pgmwindres CMD
使用 CMD 作为在 Windows 上嵌入清单的程序。
[动态的]

-pgmlib工具 CMD
使用 CMD 作为 libtool 的命令（使用 -静态库 只要）。
[动态的]

-pgmreadelf CMD
使用 CMD 作为 readelf 命令（Unix binutils 的一部分）
[动态的]

强迫 配置 TO 特殊 阶段

-optL 选项
通过 选项 到识字的预处理器
[动态的]

-optP 选项
通过 选项 到 cpp（与 -cpp 只有）
[动态的]

-optF 选项
通过 选项 到自定义预处理器
[动态的]

-optc 选项
通过 选项 到 C 编译器
[动态的]

-optlo 选项
通过 选项 到 LLVM 优化器
[动态的]

-光学 选项
通过 选项 到 LLVM 编译器
[动态的]

-opta 选项
通过 选项 给装配工
[动态的]

-optl 选项
通过 选项 到链接器
[动态的]

-optdll 选项
通过 选项 到 DLL 生成器
[动态的]

-optwindres 选项
通过 选项 到windres。
[动态的]

平台特定 配置

-msse2 （仅限 x86）使用 SSE2 进行浮点运算
[动态的]

编译器 调试 配置

-dcore-lint
打开内部健全性检查
[动态的]

-ddump 到文件
转储到文件而不是标准输出
[动态的]

-ddump-asm
转储组件
[动态的]

-ddump-bcos
转储解释器字节码
[动态的]

-ddump-cmm
转储 C——输出
[动态的]

-ddump-核心统计
在末尾打印 Core 程序大小的单行摘要
优化流水线
[动态的]

-ddump-cse
转储 CSE 输出
[动态的]

-ddump-派生
转储导出输出
[动态的]

-ddump-ds
转储脱糖输出
[动态的]

-ddump-外国
转储国外出口存根
[动态的]

-ddump-hpc
为程序覆盖进行检测后转储
[动态的]

-ddump-内联
转储内联信息
[动态的]

-ddump-llvm
转储 LLVM 中间代码
[动态的]

-ddump-发生-肛门
转储发生分析输出
[动态的]

-ddump-opt-cmm
转储 C-- 到 C-- 优化传递的结果
[动态的]

-ddump 解析
转储解析树
[动态的]

-ddump-准备
转储准备好的核心
[动态的]

-ddump-rn
转储重命名器输出
[动态的]

-ddump 规则触发
转储规则触发信息
[动态的]

-ddump-规则重写
转储详细规则触发信息
[动态的]

-ddump-规则
转储规则
[动态的]

-ddump-vect
转储矢量化输入和输出
[动态的]

-ddump-简单
转储最终的简化器输出
[动态的]

-ddump-简单迭代
转储每个简化器迭代的输出
[动态的]

-ddump 规范
转储专家输出
[动态的]

-ddump-拼接
转储 TH 拼接表达式，以及它们的计算结果
[动态的]

-ddump-stg
转储最终 STG
[动态的]

-ddump-stral
转储严格分析器输出
[动态的]

-ddump-strsigs
转储严格签名
[动态的]

-ddump-tc
转储类型检查器输出
[动态的]

-dth-dec-文件
在 .th.hs 文件中显示评估的 TH 声明
[动态的]

-ddump 类型
转储类型签名
[动态的]

-ddump-worker-包装器
转储工人包装器输出
[动态的]

-ddump-if-trace
跟踪接口文件
[动态的]

-ddump-tc-跟踪
跟踪类型检查器
[动态的]

-ddump-vt-跟踪
跟踪向量化器
[动态的]

-ddump-rn-跟踪
跟踪重命名器
[动态的]

-ddump-rn-统计
重命名统计
[动态的]

-ddump-简单统计
转储简化统计
[动态的]

-dno-调试输出
禁止未经请求的调试输出
[静态的]

-dppr-调试
打开调试打印（更详细）
[静态的]

-dppr-用户长度
在错误消息中设置打印表达式的深度
[动态的]

-dppr-colsNNN
设置调试输出的宽度。 例如 -dppr-cols200
[动态的]

-dppr-case-as-let
将单个替代 case 表达式打印为严格的 let 。
[动态的]

-dsuppress-all
在核心转储中，抑制可抑制的所有内容（唯一值除外）。
[动态的]

-dsuppress-uniques
禁止在调试输出中打印唯一值（更易于使用差异）
[动态的]

-dsuppress-idinfo
抑制有关标识符绑定的扩展信息
[动态的]

-dsuppress-模块前缀
禁止打印模块资格前缀
[动态的]

-dsuppress-类型签名
抑制类型签名
[动态的]

-ds 抑制类型的应用程序
抑制类型应用
[动态的]

-ds抑制强制
禁止在核心转储中打印强制转换以使其更短
[动态的]

-dsource-stats
转储 haskell 源统计信息
[动态的]

-dcmm-lint
C-- 通过健全性检查
[动态的]

-dstg-lint
STG 通过健全性检查
[动态的]

-dstg-统计
转储 STG 统计数据
[动态的]

-dverbose-core2core
显示每个核心到核心传递的输出
[动态的]

-详细-stg2stg
显示每个 STG 到 STG 传递的输出
[动态的]

-dshow-通行证
打印出每个通行证名称
[动态的]

-dfaststring-统计信息
完成后显示快速字符串使用的统计信息
[动态的]

-frule-检查
报告具有本可以触发但没有触发的规则的网站。 接受一个字符串参数。
[动态的]

MISC 编译器 配置

-jN 用--make编译时，编译 N 模块并行。
[动态的]

-fno-hi-版本检查
不要抱怨 .hi 文件不匹配
[动态的]

-fhistory-大小
设置简化历史大小
[动态的]

-fno-ghci-历史
不要使用从/到 ghci_history 加载/存储 GHCi 命令历史记录。
[动态的]

-fno-ghci-沙盒
关闭 GHCi 沙箱。 意味着计算在主线程中运行，而不是
比分叉的线程。
[动态的]

使用 onworks.net 服务在线使用 ghc