Пандок имеет ошибку размера стека?

Question

Я пытаюсь использовать pandoc для преобразования HTML-файла в формат MediaWiki. Я получаю следующую ошибку. (Это большой файл, поэтому меня это не удивит, если это проблема.)

Я погуглил сообщение об ошибке, но результаты, которые я мог найти, не казались разумными / понятными.

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.

Что именно вызывает проблему, и как я могу это исправить?

Answer 1

Вы можете увеличить размер стека pandoc по умолчанию, используя +RTS -Ksize -RTS в вашей команде следующим образом:

pandoc +RTS -K100000000 -RTS run_faster.html -f html -t mediawiki -s -o 

Это увеличит размер стека pandoc с 16 777 216 байт до 100 000 000 байт.

Если вы получили ту же ошибку, попробуйте еще раз с большим размером стека.

Если вы получили другую ошибку, возможно, ваша копия pandoc не была скомпилирована с параметром --ghc-options=-rtsopts=all