附加到ADT中的列表

Question

我试图将添加到ADT中的列表，如下所示：

data MyADT = myadt(list[str] s); 
m = myadt([]);
m.s += "test";

这会导致错误：

|prompt:///|(0,3,<1,0>,<1,3>): Expected list[str], but got str
?[Advice](http://tutor.rascal-mpl.org/Errors/Static/UnexpectedType/UnexpectedType.html)

这似乎应该工作，因为这可以工作：

x = [];
x += "test";

也许我在这里缺少什么？

谢谢！

Answer 1

请尝试以下解决方法：

rascal>m.s += ["test"];
MyADT: myadt(["test"])

看起来像个错误。

顺便说一下，我们将消除+的重载以添加元素和连接列表，并引入一个特殊的运算符来添加元素。 像现在这样令人困惑。