Ожидаемый rel [loc, loc] (...), но получил rel [loc, loc], что означает rel [loc, loc] (...)?

Question

Я просто проверил мой код, чтобы построить диаграмму точек, когда я попытался объединения двух отношений вместе и принят SUMED вверх отношение, сообщается следующее сообщение об ошибке:

Expected rel[loc,loc] (...), but got rel[loc,loc] 

Я не уверен, что relloc, LOC средство потому что каждое из разделенных отношений работает правильно. Не могли бы вы рассказать мне, почему?

Answer 1

Да, это сообщение может ввести в заблуждение!

• rel[loc,loc] (...) означает тип функции, которая возвращает rel[loc,loc] данные некоторые аргументы ..., которые не определены в этом сообщении
• rel[loc,loc] только тип бинарного отношения loc

Мы иногда видим это вид сообщения, возникающий, когда () скобки используются случайно вместо [ ] для индексирования в отношение. Если вы предоставите немного больше кода контекста, возможно, мы сможем более точно определить проблему.