[Agda] stack overflow when type check

Sergei Meshveliani mechvel at botik.ru
Sun Apr 28 19:28:18 CEST 2013

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.



More information about the Agda mailing list