能否有人解释一下这个警告的意思是什么?
stdIn:18.35 Warning: calling polyEqual
以下语句中,为什么我使用的是 "a 而不是 'a ?
val alreadyVisited = fn : ''a * ''a list -> bool
这是我的函数:
fun alreadyVisited(v, []) = false
| alreadyVisited(v, x::xs) = if(x=v) then true
else alreadyVisited(v, xs);
fun some_fun((*stuff*)) = [];
,很可能是因为编译器无法推断空列表的类型。将一个字符串放入列表中可以消除警告。 - brntsllvn