I am using gcc 3.0.
I have heard that gcc 3.0 is quite buggy, since it is very new. Do you have any possibility of using an older version, such as 2.95? If so, it would be very useful if you try it, and report whether you get the same errors.
The backtrace of hmake-PRAGMA in gdb shows this:
#0 0x80497f7 in run () #1 0x8048ae1 in main () #2 0x80489b1 in _start ()
This is not very surprising. The run() routine is the main bytecode interpreter, where all programs built by nhc98 spend 95% or more of their time.
There are also some warnings:
Bounded_Int.hc:32: warning: decimal constant is so large that it is unsigned Int.hc:1312: warning: decimal constant is so large that it is unsigned Int.hc:2266: warning: decimal constant is so large that it is unsigned
These warnings are harmless - they relate to the largest possible 32-bit negative int -2147483648, which appears literally in the automatically-generated C code. Regards, Malcolm