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

它看起來像一個錯誤。

順便說一下，我們將刪除+的重載以添加元素和連接列表，並引入用於添加元素的特殊操作符。它現在很混亂。