期望的rel [loc，loc]（...），但得到了rel [loc，loc]，rel [loc，loc]（...）是什么意思？

Question

我刚刚测试了我的代码来构建点图，当我尝试将两个关系结合在一起并传递了sumed up关系时，报告了以下错误：

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

我不确定是什么relloc，loc的意思是因为每个分离的关系都能正常工作。可以请你告诉我为什么？

Answer 1

是的，该消息可能令人困惑！

• rel[loc,loc] (...)表示一种函数，它返回rel[loc,loc]给定一些参数...，这些参数在此消息中未指定
• rel[loc,loc]只是loc
的二元关系的类型

我们有时会在( )括号被意外使用而不是[ ]用于索引关系时发生此类消息。如果您提供更多的上下文代码，也许我们可以更精确地诊断问题。