[mercury-users] segmentation fault

Julien Fischer juliensf at csse.unimelb.edu.au
Tue Jan 20 09:52:04 AEDT 2009


On Mon, 19 Jan 2009, Jörg Schuster wrote:

> do I need to use specific options in order for Mercury to be able to
> deal with large data bases?


> I tried to compile a linguistic dictionary. (The beginning of the code
> is given at the end of this mail.) Although mmc was able to compile my
> modules, gcc produced a segmentation fault when I used about 30000
> facts (or more). Here is the error message:
> Making Mercury/os/words.o
> gcc: Internal error: Segmentation fault (program cc1)
> Please submit a full bug report.
> See <http://bugs.opensuse.org/> for instructions.
> ** Error making `Mercury/os/words.o'.

Some questions:

* Which version of gcc is this?
* Which version of Mercury is this?
* What grade is the program being compiled in?


More information about the users mailing list