haskell - *** CPSZ: Idris をビルドするときの Cabal ビルド ログの意味は何ですか?

Question

現在、 経由で Idris をビルドしてい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:を表しているのか疑問に思っていました。