SML代码而不是编译，要求也是

Question

在我的SML代码中，此行未运行

if check(e1) == Num and check(e2) == Num then Num else raise TypeError "ill-typed"

我收到编译错误Error: syntax error: replacing AND with ANDALSO

有谁知道为什么不编译？

Answer 1

and是SML中与您的想法完全不同的关键字。 and用于定义相互递归函数，而andalso是用于布尔值的关键字。

另请注意，==不是SML中的等式检查。 =是。