Haskell-String-Manipulation. Nicht erschöpfende Muster im Funktionsfehler.

Question

Ich versuche ein einfaches Problem auf HackerRank zu lösen und erhalte den Fehler im Titel. Ich bin ein Haskell-Noob, so nackt mit mir. Das Problem besteht darin, eine Zeichenfolge aufzunehmen und sie zu reduzieren, indem benachbarte Buchstabenpaare entfernt werden. Also "aabcdd" => "bc" zum Beispiel. Hier ist mein Code:

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 

Ich bin verwirrt, weil ich denke, ich habe die Randfälle abgedeckt. Ich möchte keine Antwort auf das Problem, ich möchte nur wissen, warum ich den Fehler bekomme. Vielen Dank!

Answer 1

Sie sind nicht den Fall passend, wo man nur ein Element in der Liste

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

Diese | x1:xs == [] = [x0] ist der Mustervergleich hinzugefügt hat, so gibt es keine Notwendigkeit, in den Wachen zu überprüfen.