函数船舶中的非穷举模式

Question

我得到了这个例外，有人知道如何摆脱它吗？'

***例外：hw.hs：（33,1)-(35,53)：函数船舶中的非详尽模式'

所有函数都工作正常，除了函数船舶。它可能与元组列表的东西，但我不能弄清楚。下面是代码：

replace :: Char -> Char
replace c   | c == ' ' = '.'
            | c == '.' = '.'
            | otherwise = 'x';

findChar :: String -> Int -> String
findChar [] y = []
findChar (s:ss) y | y==0 = replace s : findChar ss (y-1)
                | otherwise = ' ' : findChar ss (y-1)

findStr :: Result -> Int -> Int -> Result
findStr [] x y = []
findStr (a:as) x y | x == 0 =  findChar a y : findStr as (x-1) y
                    | otherwise = findChar a (-1) : findStr as (x-1) y

ships :: Result -> [(Int, Int)] -> Result
ships [] [] = []
ships arena ((x,y):xs) = ships (findStr arena x y) xs

Answer 1

正如@chi所提到的，在编译时打开-Wall选项对于在编译时而不是运行时捕获这些问题非常有用。您可以在GHC命令行中包含-Wall，也可以添加pragma：

{-# OPTIONS_GHC -Wall #-}

在源代码的顶部打开它。

而且，正如@RobinZigmond所指出的，您的ships函数处理两个函数都是空列表和第二个函数都是非空列表的情况，但是除非您肯定ships永远不能被称为ships nonEmptyList[]，否则您错过了一个案例！

ships :: Result -> [(Int, Int)] -> Result
ships [] [] = []
ships _  [] = ?????  -- what happens here?
ships arena ((x,y):xs) = ships (findStr arena x y) xs