[Agda] stack overflow in Agda 2.3.2.1
Sergei Meshveliani
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
> 2.3.2.1). 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.
Regards,
------
Sergei
More information about the Agda
mailing list