*** CPSZ：在建造伊德里斯时意味着在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

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