[mercury-users] segmentation fault

Jörg Schuster joerg.schuster at gmail.com
Tue Jan 20 04:32:41 AEDT 2009


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'.




:- module words.

:- interface.

:- import_module string.

:- type part_of_speech ---> n ; v ; adv ; adj.

:- pred word(string, part_of_speech).
:- mode word(in, out) is nondet.
:- mode word(out, in) is multi.
:- mode word(out, out) is multi.

:- implementation.

word("aaa", n).
word("aaa-rated", adj).
word("aah", n).

% and so on; for testing, it is sufficient to use
% word("word1", n).
% word("word2", n).
% ...

mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au

More information about the users mailing list