[Haskell-cafe] Question related to Multi Param Type Classes

Bulat Ziganshin bulat.ziganshin at gmail.com
Mon May 5 12:07:03 EDT 2008


Hello Sai,

Monday, May 5, 2008, 7:52:29 PM, you wrote:

> class MyString m c  where

it should be

class MyString m c | m->c where

so ghc will realize that same m means the same c. read about
"functional dependencies" in ghc user manual

-- 
Best regards,
 Bulat                            mailto:Bulat.Ziganshin at gmail.com



More information about the Haskell-Cafe mailing list