接受Hoogle测试中的几个更改：漂亮的打印逻辑不再打印`（代理（…））`带有括号的Bug806中的链。因为这次测试只是为了要验证是否没有换行，请接受更改。`为类和数据声明调用tyThingToLHsDecl`，结束向上“合成”类型变量并提供未引用类型种类签名。因此，键入“类型->类型”类型的变量`现在在Hoogle输出中打印有亲善签名。这可能会通过从类变量中手动删除种类签名进行更改如果行为被认为不可接受，则在Hoogle后端执行。有时，附属声明与它们的父声明（例如记录选择器）。在这种情况下，类型为“extractDecl”中的导出项拼凑签名。由于此类型签名是非常手动构造的，因此它可能缺少由“tyThingToLHsDecl”构造的decl的种类签名。安例如，“type-sigs”Hoogle测试。将Hoogle测试参考中的“*”更改为“Type”。我认为这不会破坏Hoogle行为，因为它似乎不考虑类型搜索中的签名。我还没有完全证实这一点。

GHC漂亮打印代码的更改导致了一些与Haddock的LaTeX输出的差异。-类型变量在LinearTypes测试-类型族表达式中的通配符类型现在打印编号，例如，在TypeFamilies3测试中的_1_2-DefaultSignatures测试中的组合签名现在已记录在案作为单独的签名

-停止在html测试源中使用kind`*`-必要时添加TypeOperator以避免警告和将来的错误-重命名一些测试模块以匹配其模块名称

`lookupOccEnv`用于解析“OccNames”并附加警告，但它不在记录字段名称空间中查找。因此，如果记录字段如果附加了警告，它将无法解决，警告地图将不包括它。此提交通过使用“lookupOccEnv_WithFields”修复`而不是。

所有差异现在都归结为声明在hi-haddock中从TyThings中具体化。表面语法现在对文档。

链接到数据。用元组代替GHC。塔普。Prim公司

*添加--trace-args标志，用于跟踪接收到标准输出的参数*避免由于优化标志的更改而重新编译*更新用户指南和更改.md

由于hi-haddock的不稳定性，此部分有点像WIP以及缺乏支持它的工具，但这是一个良好的开端。

由于hi-haddock的不稳定性，此部分有点像WIP以及缺乏支持它的工具，但这是一个良好的开端。