流氓功能与抽象图案的形式参数

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？