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

【问题标题】：What does *** CPSZ: mean in Cabal build log when building Idris?*** CPSZ：在构建 Idris 时在 Cabal 构建日志中是什么意思？
【发布时间】：2014-10-03 12:05:10
【问题描述】：

我目前正在通过cabal install idris 构建 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:”代表什么。

【问题讨论】：

标签： haskell ghc cabal idris

【解决方案1】：

看起来这些重复的行是由 bug in GHC 引起的。至于 CPSZ 代表什么，它似乎意味着"continuation passing style zipper"。 CPSZ 通行证（后来被删除或重命名）在 Cmm 代码上执行 CPS-conversion。 Cmm 是 GHC 的内部表示语言之一。 “拉链”部分来自 Cmm control flow graph being represented 作为内部的 zipper。

【讨论】：