[Agda] stack overflow in Agda 18.104.22.168
mechvel at botik.ru
Thu Aug 15 20:04:11 CEST 2013
On Thu, 2013-08-15 at 14:33 +0100, James Cranch wrote:
> Hi all,
> Typechecking the module below causes a stack overflow for me (running Agda
> 22.214.171.124). I have made the stack very large (64M) and it still happens,
> which suggests it's a bug: I don't think the code is all that subtle.
For example: I have several modules (not so large ones) for which -K64m
option for stack is not sufficient for the type checker.
So, I type-check under -K200m.
More information about the Agda