Substring.full 无法在 SML 中工作

Question

我正在尝试通过以下方式实现 Substring 签名的 full 功能：

val x = Substring.full "straight"

返回的输出是：

val x = - : substring

如我所见，该函数未向变量返回任何值 x。

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

Answer 1

功能没问题。但是substring是抽象类型，抽象类型的值不能被SML/NJ提示打印出来。所以他们只是用“-”表示。