stack overflow

[GoogleCodeExporter]

The last definition in this file (composition of natural transformations) 
causes command line agda to 
stack overflow

Original issue reported on code.google.com by jmchap...@gmail.com on 29 Nov 2007 at 10:42

Attachments:

• Categories.agda

[GoogleCodeExporter]

P.S. It worked ok yesterday!

Original comment by jmchap...@gmail.com on 29 Nov 2007 at 11:28

[GoogleCodeExporter]

Probable cause: The termination checker can now see dotted patterns, which 
means that
it has more work to do than before.

Original comment by ulf.nor...@gmail.com on 30 Nov 2007 at 10:41

• Changed state: Accepted
• Added labels: Priority-Low
• Removed labels: Priority-Medium

[GoogleCodeExporter]

it still stack overflows with the termination checker turned off

Original comment by jmchap...@gmail.com on 30 Nov 2007 at 11:21

[GoogleCodeExporter]

Original comment by ulf.nor...@gmail.com on 30 Nov 2007 at 11:28

• Added labels: Priority-High
• Removed labels: Priority-Low

[GoogleCodeExporter]

I can't reproduce the problem. Yes, I get stack overflow, but I get that with 
the
version of Agda from Nov 20 as well. Increasing the stack size to 20 meg makes 
it go
through (+RTS -K20M). Looking at the profiling info they both take up roughly 
the
same amount of resources.

Original comment by ulf.nor...@gmail.com on 7 Dec 2007 at 11:46

[GoogleCodeExporter]

Make that 25 megs of stack.

Original comment by ulf.nor...@gmail.com on 7 Dec 2007 at 11:53

• Changed state: InfoNeeded

[GoogleCodeExporter]

I've just tried some older versions and now I can't reproduce it either. Sorry 
to have wasted your time. I think I 
probably thought I'd tried it in batch mode but actually I hadn't. Thanks for 
the tip about increasing the stack.

Original comment by jmchap...@gmail.com on 7 Dec 2007 at 2:38

[GoogleCodeExporter]

Original comment by ulf.nor...@gmail.com on 7 Dec 2007 at 2:42

• Changed state: Invalid