Overloaded symbols are not properly deleted

[Broes De Cat]

Resulting in crashes in complex code.

[Broes De Cat]

Refs #628: TEMPORARY fix for (overloaded) symbol memory management.

→ <<cset 854862ab48e3>>

[Broes De Cat]

Refs #628: TEMPORARY fix for (overloaded) symbol memory management.

→ <<cset 4eddcdda2745>>

[Broes De Cat]

The temporary fix is not sufficient.

[Broes De Cat]

Commented memory management in comparison predicate generator as it is bugged and crashes complex code. Refs #628.

→ <<cset c592f8cdbe12>>

[Bart Bogaerts]

Merged in temp_overloaded_memory_hack (pull request #218)

Commented memory management in comparison predicate generator as it is bugged and crashes complex code. Refs #628.

→ <<cset 6838c75613be>>

[Broes De Cat]

Refs #628: TEMPORARY fix for (overloaded) symbol memory management.

→ <<cset 5c55e1826b49>>

[Broes De Cat]

Refs #628: TEMPORARY fix for (overloaded) symbol memory management.

→ <<cset c8e5a6fba0de>>

[Bart Bogaerts]

Refs #628: TEMPORARY fix for (overloaded) symbol memory management.

→ <<cset afe309c04942>>

[Bart Bogaerts]

This issue is still failing

In order to reproduce the bug, you can run

idp ~/software/idp/tests/progressiontest.idp ~/software/idp/tests/progression/noException/TuringMachineSimulator.idp -e "stdoptions.verbosity.grounding=1; main()"

on a branch that does not include the above temporary fix.

The verbosity is important, since it ensures that the segfault occurs (it prints a deleted overloaded symbol)

[Broes De Cat]

complete temporary fix: also comment the addition to the vocabulary in the comparisonpredgenerator.

[Broes De Cat]

Refs #628: COMPLETE TEMPORARY fix for (overloaded) symbol memory management.

→ <<cset 5628c4c05298>>

[Broes De Cat]

Refs #628: COMPLETE TEMPORARY fix for (overloaded) symbol memory management.

→ <<cset 603c16768471>>