Estou tentando usar o pandoc para converter um arquivo HTML em um formato do MediaWiki. Estou recebendo o seguinte erro. (É um arquivo grande, então não me surpreenderia se esse fosse o problema.)
Eu pesquisei a mensagem de erro no Google, mas nenhum resultado que encontrei pareceu sensato / compreensível.
pandoc run_faster.html -f html -t mediawiki -s -o run_faster.txt
Stack space overflow: current size 16777216 bytes.
Use '+RTS -Ksize -RTS' to increase it.
O que exatamente está causando o problema e como corrigi-lo?
Você pode aumentar o tamanho padrão da pilha do pandoc usando +RTS -Ksize -RTS em seu comando da seguinte forma:
pandoc +RTS -K100000000 -RTS run_faster.html -f html -t mediawiki -s -o
Isso aumentará o tamanho da pilha de pandoc de 16.777.216 bytes para 100.000.000 bytes.
Se você receber o mesmo erro, tente novamente com um tamanho de pilha maior.
Se você receber um erro diferente, sua cópia do pandoc pode não ter sido compilada com --ghc-options=-rtsopts=all