Warning when completing types!

[Broes De Cat]

Need a warning when the parser completes types.

[Broes De Cat]

Autocompletion: If some domain element D occurs in a position of type T, then add D to T. If some domain element D is part of a type T and T2 is a supertype of T, then add D to T2.

Autocompletion type 1: only autocomplete if no interpretation has been provided

Autocompletion type 2: autocomplete always

What is the behavior and when will we throw a warning?

[Bart Bogaerts]

The behavior now is:

Only autocomplete if the user didn't specify the autocompleted type himself. In this case we do not throw a warning (which I think is fine)

For me, this issue can be closed.

[Broes De Cat]

Removing milestone: Later (automated comment)

[Bart Bogaerts]

If I'm not mistaken, this warning is now generated too often...

[Broes De Cat]

The warning "autocompleting" is now always thrown, and also incorporates checking consistency of the structure.