On Thu, 3 Jul 2014, Johannes Hölzl wrote:
However this happened at the Scala level. Nitpick produced a huge number
in Suc representation, which the output panel was only possible to
display when the Java stack size was 16MB.
This is a "shit happens" instance on the JVM, which has a lot of tec
However this happened at the Scala level. Nitpick produced a huge number
in Suc representation, which the output panel was only possible to
display when the Java stack size was 16MB.
- Johannes
Am Donnerstag, den 03.07.2014, 14:16 +0200 schrieb Tobias Nipkow:
> Funnily enough I had the same pro
On Thu, 3 Jul 2014, Lars Noschinski wrote:
On 03.07.2014 13:57, Peter Lammich wrote:
Hi,
I recently ran into a method that produced a stack-overflow.
The bad thing: The only way how to get a clue what is going wrong is to
open the "raw output panel". This writes "stack-overflow" then, without
Funnily enough I had the same problem yesterday and was at a loss what happened
until Johannes pointed out to me that there is a "stack overflow" message in the
shell window. Of course you need to scroll through all those messages to find
it.
Tobias
On 03/07/2014 13:57, Peter Lammich wrote:
> Hi
On 03.07.2014 13:57, Peter Lammich wrote:
Hi,
I recently ran into a method that produced a stack-overflow.
The good thing is: In the current jedit version, it is properly
highlighted and you immediately see that there is some error. (This was
not always the case in the past)
The bad thing: The
On 03.07.2014 13:57, Peter Lammich wrote:
> Hi,
>
> I recently ran into a method that produced a stack-overflow.
>
> The good thing is: In the current jedit version, it is properly
> highlighted and you immediately see that there is some error. (This was
> not always the case in the past)
>
> The b
Hi,
I recently ran into a method that produced a stack-overflow.
The good thing is: In the current jedit version, it is properly
highlighted and you immediately see that there is some error. (This was
not always the case in the past)
The bad thing: The only way how to get a clue what is going wr
