haskell - `Show` GHC 核心实例

Question

我正在尝试使用 GHC 核心数据类型。我能够使用 Bind CoreBndr 类型将 Haskell 源代码编译为核心表示形式。我们知道，此数据类型没有默认的 Show 实例。有一种方法可以漂亮地打印这个表示，但它有太多与之相关的噪音。我想将 GHC 核心视为任何其他代数数据类型并用它编写函数。如果我们有一个 GHC 核心的 Show 实例，那就容易多了。有人已经编写了一个我可以重用的 show 实例吗？

另外，社区如何编写和验证处理 GHC 核心的程序？

Answer 1

GHC 中 Show 的简单实现可能不是您想要的。原因是 GHC 内部的许多数据类型都有递归。例如，TyCon之间, AlgTyConRhs ，和DataCon我们有:

TyCon 有 AlgTyCon，其中包含 AlgTyConRhs。

AlgTyConRhs 包含 data_cons::[DataCon] 作为其记录字段之一。

DataCon 包含 dcRepTyCon::TyCon 作为其字段之一。

这样我们就回到原点了。由于 Show 的工作原理，如果您尝试打印它，这样的递归将创建无限的输出。

为了获得带有数据构造函数和所有显示内容的“漂亮”自定义表示，您必须自己编写它。这实际上有点具有挑战性，因为您必须考虑和调试默认 pretty-print 已经解决的递归情况。