Есть ли способ ограничить объем памяти, который может иметь ghci?

Я привык отлаживать свой код с помощью ghci. Часто происходит что-то вроде этого (не так очевидно, конечно):

ghci> let f@(_:x) = 0:1:zipWith(+)f x
ghci> length f

Затем в течение некоторого времени ничего не происходит, и если я не реагирую достаточно быстро, ghci съел, может быть, 2 ГБ ОЗУ, что привело к зависанию моей системы . Если уже слишком поздно, единственный способ решить эту проблему - [ALT] + [PRINT] + [K].

Мой вопрос: есть ли простой способ ограничить память, которую может использовать ghci, давайте скажем 1 ГБ? Если предел превышен, расчет должен быть прерван или ghci должен быть остановлен.

13
задан fuz 22 September 2010 в 05:53
поделиться