Consider two files:
symboldefinition.gpp:
symbol domain Animals = { TIGER, ELEPHANT }
main.gpp:
#include "symboldefinition.gpp"
action feed_animal(symbol animal) {
domain animal in Animal // <<<< problematic with outside defined domains
[...]
}
Will add a tested example and edit the issue next tuesday. Also the output might be interesting, because the error message did not immediately help us find the problem.