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.But 出现如下错误：

! Unbound value component: String.isSubstring

Answer 1

您使用的 Moscow ML 版本可能已过时。尝试 version 2.10 或更高版本，其中有 String.isSubstring.

isSubstring method in ML