Substring.full在SML中不工作

我试图通过以下方式实现

子字符串

签名的

完整

功能：

val x = Substring.full "straight"

返回的输出为：

val x = - : substring

如我所见，函数没有向变量

x

返回任何值

---

---

一定出了什么问题？（我在Windows 8.1上使用的是SML/NJ的V110.77。）

功能正常。但子字符串是抽象类型，SML/NJ提示符无法打印抽象类型的值。因此，它们只是用“-”表示，函数很好。但子字符串是抽象类型，SML/NJ提示符无法打印抽象类型的值。因此，它们只是用“-”表示，函数很好。但子字符串是抽象类型，SML/NJ提示符无法打印抽象类型的值。因此，它们只是用“-”表示，函数很好。但子字符串是抽象类型，SML/NJ提示符无法打印抽象类型的值。所以它们只是用“-”来表示，您尝试实现吗？你能给我们看一下你的代码吗？@hustmphrr：代码写在问题中。函数

full

已在签名

子字符串中定义。您的意思是尝试使用。好啊尝试
Substring.string（Substring.full“直”）。你太担心了。@hustmphrr:Oops！！我正在尝试“使用”该功能。但您的建议将把子字符串转换回字符串。我需要将字符串转换为子字符串，以便使用“substring.position”函数，也就是说，在最后，我尝试使用“substring.position”函数。我的代码告诉您字符串已转换为子字符串。当它无法打印时，您不必担心。您尝试实现了吗？你能给我们看一下你的代码吗？@hustmphrr：代码写在问题中。函数
full
已在签名
子字符串中定义。您的意思是尝试使用。好啊尝试
Substring.string（Substring.full“直”）。你太担心了。@hustmphrr:Oops！！我正在尝试“使用”该功能。但您的建议将把子字符串转换回字符串。我需要将字符串转换为子字符串，以便使用“substring.position”函数，也就是说，在最后，我尝试使用“substring.position”函数。我的代码告诉您字符串已转换为子字符串。当它无法打印时，您不必担心。您尝试实现了吗？你能给我们看一下你的代码吗？@hustmphrr：代码写在问题中。函数
full
已在签名
子字符串中定义。您的意思是尝试使用。好啊尝试
Substring.string（Substring.full“直”）。你太担心了。@hustmphrr:Oops！！我正在尝试“使用”该功能。但您的建议将把子字符串转换回字符串。我需要将字符串转换为子字符串，以便使用“substring.position”函数，也就是说，在最后，我尝试使用“substring.position”函数。我的代码告诉您字符串已转换为子字符串。当它无法打印时，您不必担心。您尝试实现了吗？你能给我们看一下你的代码吗？@hustmphrr：代码写在问题中。函数
full
已在签名
子字符串中定义。您的意思是尝试使用。好啊尝试
Substring.string（Substring.full“直”）。你太担心了。@hustmphrr:Oops！！我正在尝试“使用”该功能。但您的建议将把子字符串转换回字符串。我需要将字符串转换为子字符串，以便使用“substring.position”函数，也就是说，在最后，我尝试使用“substring.position”函数。我的代码告诉您字符串已转换为子字符串。当它无法打印时，您不必担心。