Hello, Adrian wrote:
textNew (creates a new text widget) has type: textNew :: AdjustmentClass adj => Maybe adj -> Maybe adj -> IO Text
But when I try to create one using: txt <- textNew Nothing Nothing
GHC complains: Main.hs:82: Ambiguous type variable(s) `a' in the constraint `GtkAdjustment.AdjustmentClass a' arising from use of `textNew' at Main.hs:82 in a `do' expression pattern binding: txt <- textNew Nothing Nothing
My first thought was that I need a type signature for txt, but seeing as txt has to be type IO Text, I dont think that's possible (because 'adj' is not referenced). Is that correct?
The problem is that GHC can not find out (From the two Nothing objects) which instance of AdjustmentClass to use. Different instances might lead to different "IO Text" objects, so choosing a default is impossible. For example: show ([] :: [Int]) == "[]" and show ([] :: [Char]) == "\"\"" Therefore, you have to tell GHC the exact type of "textNew Nothing Nothing" with a type annotation, just like in the examples with show above: txt <- textNew (Nothing :: Maybe SomeDefaultAdjustmentClass) Nothing In this case, supplying the type of one of the two Nothing values is enough (GHC can find out the other one must be the same).
So, what should one do in this situation? Something like this perhaps.. myNothing :: Maybe dummyAdjustmentClassInstance myNothing = Nothing txt <- textNew myNothing myNothing I'm pretty sure that would do it, but it seems like an ugly solution. Is there a better way?
This is indeed one solution. This way, you tell GHC a dummy instance is possible; unlike the show-situation where it is impossible). Using type annotations is another solution, but it is not as comfortable if you are supplying textNew often with just twice Nothing. If it's just a few cases, I prefer this option. As a last alternative, only useful if you use "textNew Nothing Nothing" often, is to write a special function for this case (in all other cases, GHC can infer the right type so we don't need a special function): textNewNothing = textNew (Nothing :: Maybe SomeDefaultAdjustmentClass) Nothing Regards, Rijk-Jan