diff -ur hugs98-Feb2001/src/prelude.h hugs98-Feb2001p/src/prelude.h --- hugs98-Feb2001/src/prelude.h Wed Feb 14 13:15:05 2001 +++ hugs98-Feb2001p/src/prelude.h Mon Dec 31 19:54:33 2001 @@ -720,11 +720,11 @@ #define NUM_NAME Pick(1000, 2000, 16000) #define NUM_CLASSES Pick(30, 240, 480) #define NUM_INSTS Pick(200, 300, 1000) -#define NUM_TEXT Pick(12000, 20000, 160000) +#define NUM_TEXT Pick(12000, 20000, 250000) #define NUM_TEXTH Pick(1, 10, 10) #define NUM_TYVARS Pick(800, 2000, 4000) #define NUM_STACK Pick(1800, 12000, 16000) -#define NUM_ADDRS Pick(28000, 60000, 320000) +#define NUM_ADDRS Pick(28000, 60000, 500000) #define MINIMUMHEAP Pick(7500, 19000, 19000) #define MAXIMUMHEAP Pick(32765, 0, 0) #define DEFAULTHEAP Pick(28000, 50000, 250000)