错误:Haskell中的非详尽模式

时间:2016-03-04 14:16:37

标签: haskell design-patterns

我有一些代码处理列表列表(表示矩阵)。每个单元格为NB。我想用每行的N个数来表示矩阵。例如:[[B,B,N],[N,N,N]][1,3]表示。

这是我的代码:

data Case = B|N deriving (Show, Eq)
type Grille =[[Case]]

g0,g1 :: Grille
g0 = [[B,B,B,B,B,B,N],[B,B,N,B,N,B,B],[N,B,N,N,N,N,N],[B,B,B,N,N,B,N],[N,N,N,B,B,B,B],[B,B,B,N,N,B,N]]
g1 = [[B,B,B,B,B,B,B],[B,B,N,N,N,B,B],[B,B,N,N,N,N,N],[B,B,B,N,N,N,N],[N,N,N,B,B,B,B],[B,B,B,N,B,B,B]]

projH :: Grille -> [Int]
projH [[]] = []
projH (x:xg) = testCase(x) ++ projH(xg)

testCase :: [Case] -> [Int]dans une ligne
testCase [] = [0]
testCase (x:xs) 
    | x == N = [head(testCase(xs))+1]
    | otherwise = testCase(xs)

问题出在函数projH中,我显然错过了一个模式,但我确实使用[[],...]函数和testCase来处理[[]]的情况案件。我不知道为什么它会把这个错误抛给我:

*Main> projH g0
[1,2,6,3,3,3*** Exception: devoir.hs:(17,1)-(18,39): Non-exhaustive patterns in function projH

1 个答案:

答案 0 :(得分:4)

projH [] = []

代替你的

projH [[]] = []

由于你编写的案例已经由另一个陈述处理,只需指定x = []xg = []