blob: 22d2b4a4e41f5448e596561760e0e2cd7987695b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
\begin{code}
#include "rtsdefs.h"
void
OutOfHeapHook (request_size, heap_size)
W_ request_size; /* in bytes */
W_ heap_size; /* in bytes */
{
fprintf(stderr, "Heap exhausted;\nwhile trying to allocate %lu bytes in a %lu-byte heap;\nuse `+RTS -H<size>' to increase the total heap size.\n",
request_size,
heap_size);
}
\end{code}
|
