[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