Merging theories over different vocabularies with different sorts with the same name produces a segfault

[Ingmar Dasseville]

This is because only one of the two types is interpreted in a structure. Types are referenced by name (i think).

Meanwhile, predicates from one vocabulary can refer to the one type and predicates from the other voc to the other type.

[Bart Bogaerts]

bijlage?

[Ingmar Dasseville]

idp ./oplossing-ECHT/solution.idp evaluation/verify.idp -e "myver()"

[Ingmar Dasseville]

solvable met een extern vocabulary PacmanVoc

[Bart Bogaerts]

Bug zit in het feit dat je je types dubbel declareert. Types kunnen niet overloaded zijn, enkel symbolen. Daar gaat vanalles mis mee.

Vocabularia samenvoegen met dubbele types zou NOOIT mogen. Dus de merge van de theorieën moet al een exception gooien...