Haskell 错误：“非详尽模式”

Question

所以我有这个功能，当我尝试像这样使用它时： 合并排序列表 [1,1] [1,1] 它给了我一个错误：

[1,1*** 例外：SortFunctions.hs:(86,1)-(91,89)：非详尽无遗 函数mergeSortedLists中的模式

85 mergeSortedLists :: (Ord t)       => [t] -> [t] -> [t]
86 mergeSortedLists [] []            = []
87 mergeSortedLists (x:[]) []        = x:[]
88 mergeSortedLists [] (y:[])        = y:[] 
89 mergeSortedLists (x:[]) (y:[])    = (max x y) : (min x y) : []
90 mergeSortedLists (x:tail1) (y:tail2) | x > y  = x : (mergeSortedLists tail1     (y:tail2))
91                                      | otherwise = y : (mergeSortedLists (x:tail1) tail2)

我无法找出问题的根源，因为我认为我涵盖了所有可能的情况。 这里可能是什么问题？

Answer 1

第二种和第三种情况的模式涵盖了与空列表合并的长度为 1 的列表，但没有涵盖与空列表合并的更长的列表。也就是说，您没有涵盖这样的案例：

mergeSortedLists [3, 2, 1] []
mergeSortedLists [] [3, 2, 1]

这是一个功能，可以在较少的情况下完成我认为您正在尝试做的事情：

mergeSortedLists :: (Ord t) => [t] -> [t] -> [t]
mergeSortedLists x [] = x
mergeSortedLists [] y = y
mergeSortedLists (x:tail1) (y:tail2)
    | x > y     = x : (mergeSortedLists tail1 (y:tail2))
    | otherwise = y : (mergeSortedLists (x:tail1) tail2)

（另外，您的函数不是在技术上合并反向排序列表吗？）