haskell - *** CPSZ：在构建 Idris 时在 Cabal 构建日志中是什么意思？

Question

我目前正在通过cabal install idris. 响应输出：

Redirecting build log to {handle:/home/me/.cabal/logs/idris-0.9.14.3.log}

我决定使用tail -f /home/me/.cabal/logs/idris-0.9.14.3.log.

虽然大部分输出是有意义的，但大致如下：

Simplifier:
Result size of Simplifier iteration=1
  = {terms: 77,520, types: 104,583, coercions: 37,209}
Result size of Simplifier iteration=2
  = {terms: 59,582, types: 78,325, coercions: 18,371}

有很多行只包含

*** CPSZ:

因此，纯粹出于好奇，我想知道“ *** CPSZ:”代表什么。

Answer 1

看起来这些重复的行是由GHC 中的错误引起的。至于CPSZ代表什么，它的意思似乎是“续传式拉链”。CPSZ 通道（后来被删除或重命名）对 Cmm 代码执行CPS 转换。Cmm 是 GHC 的内部表示语言之一。“拉链”部分来自 Cmm控制流图，内部 表示为拉链。