SML快速排序中的无限循环？

所以，我在SML中编写了这个快速排序函数来利用高阶函数折叠，但是它被挂在一个无限循环中，我无法确定导致它的错误逻辑。关于去哪里看有什么建议吗

(* takes in a list of numbers and an arbitrary binary relation function f *)
fun quicksort nil f  = []
  | quicksort [x] f  = [x]
  | quicksort list f =
        let
            (* simply choose pivot as first item in the list *)
            val pivot = hd list
            (* lists iterated by folding for numbers pertaining to the relation f 
               or its converse *)
            fun test a  = List.foldr (fn (x,y) => if f (pivot, x) then x::y else y) [] a
            fun testC a = List.foldr (fn (x,y) => if f (pivot, x) then y else x::y) [] a
        in
            (* my notion is the function is looping here, since the functions test 
               and testC work fine on their own *)
            quicksort (test list) op f @ [pivot] @ quicksort (testC list) op f
        end;

---

感谢您的建议。

问题在于，您调用的

快速排序的子列表可能与初始列表一样长。必须确保透视元素不在这些列表中

最简单的方法是使用匹配将传入列表拆分为
pivot
和剩余元素列表，然后将该列表传递给测试函数