Haskell манипуляции строк. Неисчерпывающие шаблоны в функциональной ошибке.

Question

Я пытаюсь решить простую проблему на HackerRank и получаю ошибку в названии. Я Haskell noob так голый со мной. Задача требует взять строку и уменьшить ее, удалив соседние пары букв. Например, «aabcdd» => «bc». Вот мой код:

main :: IO() 
main = do 
    line <- getLine 
    putStrLn (reduce' line) 

reduce' :: String -> String 
reduce' [] = [] 
reduce' (x0:x1:xs) 
    | x1:xs == [] = [x0] 
    | x0 == x1 = reduce' xs 
    | otherwise = x0 : x1 : reduce' xs 

Я смущен, потому что думаю, что у меня есть кромки. Я не хочу отвечать на проблему, я просто хочу знать, почему я получаю ошибку. Благодаря!

Answer 1

Вы не соответствующий случай, когда у вас есть только один элемент в списке

reduce' :: String -> String 
reduce' [] = [] 
reduce' [x] = [x] 
reduce' (x0:x1:xs) 
    | x0 == x1 = reduce' xs 
    | otherwise = x0 : x1 : reduce' xs 

Это | x1:xs == [] = [x0] является шаблон согласования добавляется, поэтому нет необходимости проверять в охранников.