小编Jam*_*Jam的帖子

fun p( x::xl ) =
  if x::xl = [] then []
  else [0];

收到警告:匹配非详尽.

x :: xl => ...

我想做的是:

p([])= []

当我这样做时,它会给出一个未被捕获的异常匹配[非穷举匹配失败]