Bu uyarı neden GHCi'den geliyor? Bilmiyorum özellikle beri

Question

Ben meraklı bir uyarı desen eşleştirme alıyorum ama OverloadedStrings etkinleştirildiğinde ben OverloadedStrings ile f için uyarı almak neden sadece ...

$ ghci -Wall 
GHCi, version 6.12.1: http://www.haskell.org/ghc/ :? for help 
Loading package ghc-prim ... linking ... done. 
Loading package integer-gmp ... linking ... done. 
Loading package base ... linking ... done. 
Prelude> let f x = case (x :: [String]) of {[""] -> "root"; ["product", _] -> "product"; _ -> "unknown"} 
Prelude> :q 
Leaving GHCi. 
$ ghci -Wall -XOverloadedStrings 
GHCi, version 6.12.1: http://www.haskell.org/ghc/ :? for help 
Loading package ghc-prim ... linking ... done. 
Loading package integer-gmp ... linking ... done. 
Loading package base ... linking ... done. 
Prelude> let f x = case (x :: [String]) of {[""] -> "root"; ["product", _] -> "product"; _ -> "unknown"} 

<interactive>:1:10: 
    Warning: Pattern match(es) are overlapped 
      In a case alternative: [""] -> ... 
Prelude> let g x = case (x :: [String]) of {[] -> "root"; ["product", _] -> "product"; _ -> "unknown"} 
Prelude> let h x = case (x :: [String]) of {["oops"] -> "root"; ["product", _] -> "product"; _ -> "unknown"} 
Prelude> :q 
Leaving GHCi. 

anlamıyorum OverloadedStrings olmadan f için uyarı almak ve aynı zamanda ff sadece ilk desende (tüm durumlarda yalnızca tek bir belirli bir değerle eşleşir) farklı olan uyarı almak için uyarı almayın (g).

Bu durumun GHC'de bir hata olmadığı varsayımıyla neyi özlüyorum?

Answer 1

biraz basittir GHC 6.12.3'te aynı sorunu gösteren örnek:

f :: String -> Bool 
f "" = True 
f "a" = False 

g :: String -> Bool 
g "" = True 
g "aa" = False 

Yalnızca g, -XOverloadedStrings ile çakışma uyarısını alır. Bunun bir hata olması gerektiğini düşünüyorum.

Answer 2

DÜZENLEME: Temel olarak ([Char] içine (IsString b) => b geri dönüştürme eşleşen sonra ancak eşleştirme tutarlı türlerinde yapılır) bu istiyorum:

f :: [String] -> String 
f = matchf 

matchf :: (Show b, IsString a, Eq a, IsString b) => [a] -> b 
matchf x = case x of [""] -> "root"; ["product", _] -> "product"; _ -> "unknown" 

Aksi GHC "" :: String"" :: (Data.String.IsString t) => t için (literal) ile eşleşen hakkında uyarır. Nedenini öğrenmek ilginç olurdu verilen String literal "" düzgün varsayılan ki (muhtemelen bir hata?):

Prelude> show ("" :: (Data.String.IsString t) => t) 

<interactive>:1:0: 
    Warning: Defaulting the following constraint(s) to type `String' 

---

Sizin dize -XOverloadedStrings çalışmak eşleşen örüntü Denk kaynaklanan olmalıdır. Dize hala -XOverloadedStrings ile sadece [Char], ancak dize değişmezleri değildir.

uyarı tetikleme olmadan bunu bir başka yolu:

test.hs:

import GHC.Exts(IsString(..)) 

newtype OString = OString String deriving (Eq, Show) 
instance IsString OString where fromString = OString 

f :: [OString] -> OString 
f x = case (x :: [OString]) of {[""] -> "root"; ["product", _] -> "product"; _ -> "unknown"} 

çalıştırın o:

$ ghci -Wall -XOverloadedStrings 
GHCi, version 6.12.1: http://www.haskell.org/ghc/ :? for help 
Loading package ghc-prim ... linking ... done. 
Loading package integer-gmp ... linking ... done. 
Loading package base ... linking ... done. 
Prelude> :l test.hs 
[1 of 1] Compiling Main    (test.hs, interpreted) 
Ok, modules loaded: Main. 
*Main> f [] 
OString "unknown" 
*Main> f [""] 
OString "root" 
*Main> f ["product"] 
OString "unknown" 
*Main> f ["product", "x"] 
OString "product" 

Kaynak: İşte http://www.haskell.org/ghc/docs/6.12.2/html/users_guide/type-class-extensions.html#overloaded-strings