Debug mode broken: Preconditions in XSB code violated

[Bart Bogaerts]

See http://cal:8010/builders/runtests_debug/builds/406/steps/test/logs/warnings%20%288853%29

(or just run the tests in debug)

[Joachim Jansen]

Heeft te maken met het niet correct afhandelen van de bootstrapping definities. sefines(rule):symbol wordt niet fatsoenlijk gegraphed

[Joachim Jansen]

Removed incorrect assert that caused errors in debug mode

Internally, when graphing a function, the Function object is not changed into a Predicate object. This is expected in the Assert that was removed.

The resulting situation would be that if had an open that was a function, the assert would be thrown, even if the function had been graphed properly in the definition.

This fixes issue #806

→ <<cset 43a318026968>>

[Joachim Jansen]

Removed incorrect assert that caused errors in debug mode

Internally, when graphing a function, the Function object is not changed into a Predicate object. This is expected in the Assert that was removed.

The resulting situation would be that if had an open that was a function, the assert would be thrown, even if the function had been graphed properly in the definition.

This fixes issue #806

→ <<cset 43a318026968>>

[Bart Bogaerts]

Hoe komt het dat deze issue zich enkel voor deed bij de bootstrapping definities?

[Joachim Jansen]

De bootstrap definities zijn de eerste die worden uitgerekend. Dus daar zal de fout altijd gegooid worden. Waarom de bug nu ineens verschijn zou ik niet weten. Ik heb voor de zekerheid nog een extra test met functies in de body bij in de xsb tests gestoken, die ook gefaald zou zijn met bootstrapping afgezet (toen de assert er nog was).