Bernhard Scholz

This relates to the relaxed semantics of inline relations that permit ungrounded variables.

Note that this program works by inlining by hand. ``` .type T = [A:unsigned,B:unsigned] .decl items(Obj:T) .input items .decl ignore_item(A:unsigned) .input ignore_item .decl filtered_items(Obj:T) .output filtered_items filtered_items(X):- X = [A,B],...

The problem is related to the unnamed variable. For example, if you rewrite your code as follows: ``` .type T = [A:unsigned,B:unsigned] .decl items(Obj:T) .input items .decl ignore_item(A:unsigned) .input ignore_item...

Something goes wrong in the code for `ResolveAnonymousRecordAliases`.

Here is the verbose output, compiling the program from issue #1887. ``` ./souffle -o gen gen_2922395936733669313.dl --provenance=explain --verbose Parse Time: 0.337478sec ComponentChecker time: 0.0122913sec [unchanged] ComponentInstantiationTransformer time: 0.0833912sec [changed] IODefaultsTransformer...

Some of the running time of Souffle is unaccounted for. We would need an extra verbose entry for the actual generation of the C++ code.

Following components may need to improve the running time: - SemanticChecker - ExecutionPlanChecker - Synthesiser

You need one more element in your permutation vectors for the plan statement. There are hidden atoms in a subsumption clause.

But indeed it should not crash - it should demand a vector of the right length.

The endless loop in the AST-transformation pipeline is caused by `FoldAnonymousRecords` since it can only deal with anonymous records outside of aggregates. In the reported example, we have the anonymous...