[Agda] stack overflow when type check
Sergei Meshveliani
mechvel at botik.ru
Sun Apr 28 19:28:18 CEST 2013
People,
when I compile as
agda -c $agdaLibOpt $agdaRTS +RTS -K200m -RTS AlgTest.agda
it works. But when I type-check one of its used modules in interactive
environment, it reports
stack overflow
(the module is of 500 non-empty lines).
What may be a way out? How to increase stack in the dialogue?
In most cases I would prefer to type-check in interactive environment --
for evident reasons.
Thanks,
------
Sergei
More information about the Agda
mailing list