무엇이 *** *** CPSZ : Idal을 만들 때 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으로 빌드를 추적하기로 결정했습니다. 의 라인을 따라

출력의 많은 의미가 있지만

:

만 *** CPSZ:

그래서 나는 순전히 호기심, 궁금 포함 많은 선이

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:"은 무엇을 나타냅니다.

Answer 1

중복 된 행이 bug in GHC에 의해 발생한 것처럼 보입니다. CPSZ의 약자는 "continuation passing style zipper"입니다. CPSZ 패스 (제거 또는 이름 변경 이후)는 Cmm 코드에서 CPS-conversion을 수행했습니다. Cmm은 GHC의 내부 표현 언어 중 하나입니다. "지퍼"부분은 Cmm control flow graphbeing represented으로 내부는 zipper입니다.