Haskell 关系错误 - 声明中的语法错误（意外的“;'，可能是由于布局错误）

Question

我对 Haskell 相当陌生，我不完全理解这个错误，当我加载文件时，拥抱在“检查”行打印出以下“声明中的语法错误（意外的`;'，可能是由于布局错误）” s1 s2 ((x,y):xs)”。我觉得这很令人困惑，因为没有“;”在代码中。如果有人能解释为什么会发生这种情况以及如何解决它，我将非常感激。下面是我的代码。

type Owned = String  
type Owner = String  
type Fact = (Owned,Owner)

database = [(String, String)]  
database = [("c4","c5"),("c1","c2"), ("c2", "c3"), ("c3","c4")]

owns :: Owner -> Owned -> Bool

owns s1 s2  
      | check s1 s2 database = true  
      | otherwise false

check s1 s2 ((x,y):xs)  
     | s1==x && y==s2 = true  
     | s1==x && y==s2 = (check y s2 database)  
     | otherwise false

Answer 1

您在 otherwise 分支中缺少 =：

type Owned = String  
type Owner = String  
type Fact = (Owned,Owner)

database = [(String, String)]  
database = [("c4","c5"),("c1","c2"), ("c2", "c3"), ("c3","c4")]

owns :: Owner -> Owned -> Bool

owns s1 s2  
      | check s1 s2 database = true  
      | otherwise = false

check s1 s2 ((x,y):xs)  
     | s1==x && y==s2 = true  
     | s1==x && y==s2 = (check y s2 database)  
     | otherwise = false

Answer 2

事实上，有；在转换后的源代码中。 Haskell 报告包含有关如何使用布局规则转换源代码的详细说明。人们应该读一遍它们，它非常直观。

尽管此类错误确实会让新手感到困惑，但以下经验法则适用：

• 如果编译器抱怨“;”在报告的行之前的最后一个非空行中存在语法错误。
• 通常，错误是由于布局引起的（实际上正如编译器所建议的那样）。尽管如此，还有其他情况，如您的示例所示：编译器拼命在函数 owns 的第二个保护中查找“=”，并且当他在 check 之前找到分号时他知道出了什么问题。