[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Bug: Issue with gplc failing to compile large (17, 000 line) file of
Re: Bug: Issue with gplc failing to compile large (17, 000 line) file of facts
Wed, 18 Sep 2013 09:31:33 +0200
Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130804 Thunderbird/17.0.8
thank you for the bug report.
I had to increase the size of internal compiler data. This is present in
Le 16/09/2013 19:43, Matthew Carter a écrit :
In a large file (17k lines) of basic facts, such as:
gplc fails to compile to an executable with an out of stack space error
(note - there are no predicates in there which should cause an infinite
loop, however there may be circular references in the facts).
The exact file can be viewed here:
when I attempt to compile via something similar to the following:
I receive an out of GLOBALSZ space error.
Bumping up to
GLOBALSZ=500000 gplc ./packages.pro
Eventually gives a random error message related to invalid syntax in the
file (there are no such syntax errors).
Compiling to byte code works without issue:
gplc -w ./packages.pro
As well as running this file through gprolog:
gprolog --consult-file packages
This error does not occur on any other prolog implementation's
compilation technique (works fine on swi-prolog and some others).
Ce message a ete verifie par MailScanner
pour des virus ou des polluriels et rien de
suspect n'a ete trouve.