Неполный шаблон в объявлении функции

Question

У меня возникают трудности при реализации следующей функции:

type Tabuleiro = [String]
type Comandos = String
type Comando = String
type Coordenadas = String

novaCoord :: Tabuleiro -> Comandos -> Coordenadas -> Coordenadas

novaCoord l (cmd:xs) coor 
                    | (c3 =="N") && cmd =='A' = [intToDigit(c1)   , ' ',intToDigit(c2+1) , ' ',c3!!0]
                    | (c3 =="E") && cmd =='A' = [intToDigit(c1+1) , ' ',intToDigit(c2)   , ' ',c3!!0]
                    | (c3 =="O") && cmd =='A' = [intToDigit(c1-1) , ' ',intToDigit(c2)   , ' ',c3!!0]
                    | (c3 =="S") && cmd =='A' = [intToDigit(c1)   , ' ',intToDigit(c2-1) , ' ',c3!!0]
                    | (c3 =="N") && cmd =='E' = [intToDigit(c1)   , ' ',intToDigit(c2) , ' ',"O"!!0]
                    | (c3 =="E") && cmd =='E' = [intToDigit(c1)   , ' ',intToDigit(c2) , ' ',"N"!!0]
                    | (c3 =="S") && cmd =='E' = [intToDigit(c1)   , ' ',intToDigit(c2) , ' ',"E"!!0]
                    | (c3 =="O") && cmd =='E' = [intToDigit(c1)   , ' ',intToDigit(c2) , ' ',"S"!!0]
                    | (c3 =="N") && cmd =='D' = [intToDigit(c1)   , ' ',intToDigit(c2) , ' ',"E"!!0]
                    | (c3 =="E") && cmd =='D' = [intToDigit(c1)   , ' ',intToDigit(c2) , ' ',"S"!!0]
                    | (c3 =="S") && cmd =='D' = [intToDigit(c1)   , ' ',intToDigit(c2) , ' ',"O"!!0]
                    | (c3 =="O") && cmd =='D' = [intToDigit(c1)   , ' ',intToDigit(c2) , ' ',"N"!!0]
                    | (c3 =="N") && cmd =='S' = [intToDigit(c1)   , ' ',intToDigit(c2+1) , ' ',c3!!0]
                    | (c3 =="E") && cmd =='S' = [intToDigit(c1+1) , ' ',intToDigit(c2)   , ' ',c3!!0]
                    | (c3 =="O") && cmd =='S' = [intToDigit(c1-1) , ' ',intToDigit(c2)   , ' ',c3!!0]
                    | (c3 =="S") && cmd =='S' = [intToDigit(c1)   , ' ',intToDigit(c2-1) , ' ',c3!!0]


                   where
                    ytotal=(length l)-1
                    coords=converte coor
                    (c1,c2,c3)=coords
                    y=l!!((ytotal)-(c2))
                    x=y!!(c1)

                    converte :: Coordenadas -> (Int,Int,String)
                    converte [] = (0,0,"S")
                    converte (x:y:z) = 
                                    let 
                                    coords= words (x:y:z)
                                    c = coords !! 2
                                    a=read (coords !! 0) :: Int  -- Coord X
                                    b=read (coords !! 1) :: Int  -- Coord Y
                                    in (a,b,c) 

Компилятор жалуется, что у меня нет исчерпывающего паттерна. я пытался

novaCoord [] _ _ = ("0 0 S") 
novaCoord _ [] _ = ("0 0 S") 
novaCoord _ _ [] = ("0 0 S") 

но не повезло! Я ценю любую помощь, которая может быть оказана, общая или нет!

Answer 1

Вам необходимо завершить сопоставление с образцом для novaCoord _ [] _вам нужен otherwise пункт в вашей охране novaCoordи вы пропустили дело converte [x] в пункте, где для novaCoord,