[Haskell-cafe] Pattern matching with OverloadedLists

Vlatko Basic vlatko.basic at gmail.com
Fri Nov 6 15:20:33 UTC 2015


Hello Cafe,

wiki for OverloadedLists says that

g  [x,y,z]  =  ...

is treated as

g  (toList->  [x,y,z])  =


Shouldn't this work? Both 'f's should be treated the same.

f :: Text -> Int
f (toList -> ('9':_)) = 1   -- OK
f                 ('1':_)  = 2   -- Couldn't match expected type ‘Text’ with 
actual type ‘[Char]’

(OverloadedStrings is also on)

Am I missing something?

br,
vlatko





More information about the Haskell-Cafe mailing list