Haskell:模式3中的解析错误

Question

data Peg = Red | Green | Blue | Yellow | Orange | Purple
    deriving (Show, Eq, Ord)

type Code = [Peg]

data Move = Move Code Int Int
      deriving (Show, Eq)

isConsistent :: Move -> Code -> Bool
isConsistent (move1 code1 num1 num2) code2 = True --parse error here

Haskell相对较新.想知道为什么我在尝试加载它后收到以下错误消息.

Parse error in pattern: move1

Answer 1

move1不是数据构造函数(这是你允许模式匹配的),实际上它不能是因为它们必须以大写字母开头.将其替换为Move数据声明中的构造函数,错误应该消失.

您可能仍会收到一些警告,例如"已定义但未使用的代码1",(Move _ _ _)如果您真的不关心内容,可以通过更改模式来删除它们.