期望 rel[loc,loc] (...)，但得到 rel[loc,loc]，rel[loc,loc](...) 是什么意思？

【问题标题】：Expected rel[loc,loc] (...), but got rel[loc,loc], what does rel[loc,loc](...) mean?期望 rel[loc,loc] (...)，但得到 rel[loc,loc]，rel[loc,loc](...) 是什么意思？
【发布时间】：2016-03-09 10:48:24
【问题描述】：

我刚刚测试了我的代码构建点图，当我尝试将两个关系合并在一起并通过求和关系时，报告以下错误：

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

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

【问题讨论】：

标签： rascal

【解决方案1】：

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

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

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

【讨论】：