Bernhard Scholz
Bernhard Scholz
The SWIG interface should still be functional for Python.
I can replicate the issue.
That is quite dangerous: a symbol from relation unify is used as a record via a forced type-cast. This type-cast should not be allowed since the program would crash anyway,...
Let's try to fix the issue entirely.
Maybe we can leave it open so that people can see the changes...
Please send me an email to [email protected] if you want help. And this is also a reminder to improve the documentation.
We may also need some rule identifiers; also we need to reflect the new auto-scheduling work in the documentation.
The reason for the crash is our internal symbol table. Every symbol/string is represented by a number. In this case, the programmer forces the engine to convert a record index...
The sticky point here is the following: - `as(, symbol) ` where `` may be an index that does not exist in the symbol table. - `as(, record-type)` where ``...