sml 代码中的非详尽绑定失败

Question

我应该纠正一个函数 less(e, L) int * int list -> int list，它返回 L 中小于 e 的所有元素的列表。我是这样写的：

    fun less(_, nil) = nil
      | less(e, L) =
        let
           val x::xs = less (e, tl L)
        in
           if e > hd L then hd L::x::xs
           else nil @ x::xs
        end;

我遇到了绑定失败，肯定是在输入位上。我已经尝试了很多不同的thinfs，但我无法弄清楚为什么这是错误的。有人能解释一下吗？

Answer 1

val x::xs = less (e, tl L)

这与less (e, t1 L)的结果为空列表的情况不匹配。

函数的正确实现是这样的：

fun less (_, nil) = nil
  | less (y, x::xs) =
    let
       val xs' = less (y, xs)
    in
      if x < y then x::xs' else xs'