ML中的isSubstring方法

Question

fun appear(x:string,y:string)=
if String.isSubstring x y then print("APPEAR ") else  print("NOT APPEAR ");
appear("abc","asabcbc");

我写了这个函数并在Moskow ML中编译。但是有这样的错误：

! Unbound value component: String.isSubstring

Answer 1

您可能正在使用过时的莫斯科ML版本。请尝试version 2.10或更高版本，其中包含String.isSubstring。