流氓功能與抽象圖案的形式參數

Question

我試圖做到這一點：

data A = a(str s); 
void show(A a(str s)) = println(s); 
A x = a("hi"); 
show(x); 

，但我得到這個錯誤：

|prompt:///|(0,7,<1,0>,<1,7>): The called signature: show(A), 
does not match the declared signature: void show(node); 

這是因爲這是目前破（作爲導師TypeConstrained抽象模式的頁面建議），還是我犯了一個錯誤？

Answer 1

我覺得應該是

void show(a(str s)) = println(s); 

你在哪裏看到這個導師前綴A？