追加到列表内部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"]) 

它看起来像一个错误。

顺便说一下，我们将删除+的重载以添加元素和连接列表，并引入用于添加元素的特殊操作符。它现在很混乱。