Re: Instance storage space exhausted

[Friedhelm Wrensch]

Hi,

on Tue, 28 Jul 1998, Meurig Sage wrote:

> I just got the following error message from hugs (January 1998 release).
> 
> ERROR "Test.hs": Instance storage space exhausted
> 
> How do I get round it?

In the file "src/storage.h", near line # 632, change the numbers in
   #define NUM_INSTS          Pick(200,    300,        600)
to something larger (when we have 3GB of virtual memory, this limit really
sucks).

Friedhelm