*** 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。