Что означает *** CPSZ: в журнале сборки Кабала при строительстве Идриса?

В настоящее время я строю Идрис через 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:".


haskell cabal ghc idris
person LogicChains    schedule 03.10.2014    source источник

Ответы (1)


arrow_upward
6
arrow_downward

Похоже, эти повторяющиеся строки были вызваны ошибкой в ​​GHC. Что касается того, что означает CPSZ, похоже, это означает "застежку-молнию в стиле продолжения".. Пропуск CPSZ (который с тех пор был либо удален, либо переименован) выполнял преобразование CPS в код Cmm. Cmm - один из языков внутреннего представления GHC. Часть «застежка-молния» взята из Cmm графа потока управления представлен как застежка-молния внутренне.

person Mikhail Glushenkov    schedule 03.10.2014