Неисчерпывающие паттерны в вспомогательной функции для завязывания узла

Question

Я пытаюсь написать функцию в Haskell, которая берет таблицу и дополняет ячейки каждого столбца в соответствии с максимальным размером строки в этом столбце. Я делаю это, используя технику - завязывая узел. Вот функция, которую я написал:

type Row = [String]
type Table = [Row]
type Width = [Int]

aux :: (Width,Width) -> Table -> (Width,Table)
aux (x,m) [[]] = (m,[[]])
aux (x,m) (z:zs) = (y,t)
    where
        (xz,zs') = aux (x,m) zs
        y = zipWith max (map length z) xz
        z' = adjust x z
        t = z':zs'

pipedTable :: Table -> Table
pipedTable t = t'
    where
        (m,t') = aux (m,zeroWidth) t
            where
                zeroWidth = take (length $ head t) $ repeat 0

adjust :: Width -> Row -> Row
adjust [] [] = []
adjust (w:ws) (r:rs) = (r ++ s):(adjust ws rs)
    where
        s = take (w-(length r)) $ repeat ' '

Когда я загружаю этот модуль и пытаюсь передать некоторые данные в функцию pipedTable, например.

*Main> pipedTable [["I","am"],["You","look"],["Fine","I"]]

это дает,

[*** Exception: pipedTable.hs:(6,1)-(12,26): Non-exhaustive patterns in function aux.

Я не понимаю, где проблема.

Answer 1

Если это дело для aux:

aux (x,m) [[]] = (m,[[]])

действительно быть:

aux (x,m) [] = (m,[[]])

В противном случае не существует случая, когда вторым аргументом является пустой список.