爲什麼我得到「匹配redudant」錯誤？

我感到有點糊塗了「匹配冗餘」的錯誤運行下面的代碼時，我得到：爲什麼我得到「匹配redudant」錯誤？

datatype expression = Constant of int | 
      Variable of string | 
      Operator of string * expression | 
      Pair of expression list | 
      List of expression list 

fun add2 (ul1: expression, ul2: expression) = 
    let 
     fun gcd (a, b) = 
      if a >= b 
      then 
       if (a mod b) = 0 
       then b 
       else gcd (b,(a mod b)) 
      else 
      if (b mod a) = 0 
      then a 
      else gcd (a, (b mod a)) 
     fun lcm (a,b) = 
      a*b div (gcd(a,b))  
    in 

     case ul1 of 
      Operator("/",Pair [Constant a, Constant b]) => 
       case ul2 of 
        Operator("/",Pair [Constant c, Constant d]) => 
        a*d + c*b//(b*d) 
        |Operator("/",Pair [Variable c, Constant d])=> 
        Operator("/",Pair [(Operator("+", Pair [Constant a, Variable c])),Constant (lcm(b,d))]) 

      |Operator("/",Pair [Variable a, Constant b]) => 
       case ul2 of 
        Operator("/",Pair [Constant c, Constant d]) => 
        Operator("/",Pair [(Operator("+", Pair [Variable a, Constant c])),Constant (lcm(b,d))]) 
        |Operator("/",Pair [Variable c, Constant d])=> 
        Operator("/",Pair [(Operator("+", Pair [Variable a, Variable c])),Constant (lcm(b,d))]) 


    end

確切的錯誤按摩：

C:\Users\erikj\Dropbox\Fakulteta Laptop\Programiranje\domacanaloga 6.sml:91.5-102.93 Error: match redundant and nonexhaustive 
      Operator ("/",Pair (Constant c :: Constant d :: nil)) => ... 
      Operator ("/",Pair (Variable c :: Constant d :: nil)) => ... 
    --> Operator ("/",Pair (Variable a :: Constant b :: nil)) => ...

我不介意關於非詳盡比賽因爲它只是一個練習。非常感謝您的幫助！

來源

2016-11-15 Amuoeba

最後兩種情況不是相同的嗎？我不知道SML，但看起來像構造函數匹配，最後2行使用'Variable'和'Constant'。 – Carcigenicate

最後兩行你確切的意思？內部「情況」在兩種情況下都與ul2相同，但您可以通過ul1的不同分支進行分析。我不明白爲什麼你會遇到冗餘問題，如果你有這樣的事情，因爲每個外部案例都應該有它自己的環境嗎？或者我只是在我的腦海裏錯誤地設置了一些東西。在這種情況下，這個例子有一個簡單的解決方法嗎？ – Amuoeba

考慮下面的代碼：

case ul1 of 
    Operator("/",Pair [Constant a, Constant b]) => 
     case ul2 of 
      Operator("/",Pair [Constant c, Constant d]) => 
      ... 
      |Operator("/",Pair [Variable c, Constant d])=> (* Case A *) 
      ... 
      |Operator("/",Pair [Variable a, Constant b]) => (* Case B *) 
      ...

它應該很清楚這種情況下，B是多餘的，因爲它是相同的情況下的（除了變量名）。

這段代碼和你的代碼之間唯一的變化是我改變了case B的縮進。現在縮進並不影響SML程序的語義，所以case B在代碼中和你在這裏一樣冗餘。

對於讀者來說，從縮進中可以明顯地看出，你的情況B屬於外部模式匹配，但正如我所說的，編譯器不關心縮進，所以你需要使用圓括號或開始結束塊來告訴編譯器內部匹配結束的地方。

來源

2016-11-15 20:16:48 sepp2k

啊是的括號，非常感謝你:) – Amuoeba

爲什麼我得到「匹配redudant」錯誤？

回答

相關問題