在SML中从设置的abstype创建列表时键入clash

Question

我觉得这应该比我做的容易，但是我在这个函数上遇到了一些问题，这个函数应该把一个集合变成一个列表。

fun explode(st(x, xs)) =
    let
        val listTemp = []
    in
        if isEmpty(xs) then listTemp::x else explode(xs)::x
    end
  | explode(nilset) = [];

我得到了一个类型冲突，说我正在尝试从''a list list转到''a list。任何帮助都将不胜感激。

编辑:说''a list ->‘’一个列表列表...哦。

Answer 1

::运算符的左操作数应为元素，右操作数应为列表。使用它时，列表作为左操作数，元素作为右操作数。这就是类型错误。

假设生成的列表的顺序无关紧要，您可以简单地切换操作数。如果这很重要，您仍然可以交换操作数，然后在构建完整列表后使用List.rev来反转结果列表。