Geek Answers Handbook

What does *** CPSZ do: average in Cabal build log when building Idris?

I am currently building Idris through cabal install idris. In response to the conclusion:

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

I decided to track the assembly using tail -f /home/me/.cabal/logs/idris-0.9.14.3.log.

While most of the output makes sense, line by line:

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}

There are many lines containing only

*** CPSZ:

So, I was wondering, just out of curiosity, which means <<24>.

+4
source share
1 answer

, GHC. , CPSZ, , " " . CPSZ ( ) CPS- Cmm. Cmm GHC. "-" Cmm zipper .

+6

More articles:


All Articles