[Haskell-cafe] Ambiguous type variable

Jacek Generowicz jacek.generowicz at cern.ch
Fri Oct 15 19:18:55 EDT 2010


On 2010 Oct 16, at 01:14, Jacek Generowicz wrote:

> On 2010 Oct 16, at 00:51, Ivan Lazar Miljenovic wrote:
>
>> "2" is a generic number.  If you don't specify a type, it usually
>> defaults to Integer.  All Num instances that come in the Prelude have
>> Show instances, so no matter which gets picked "show 2" works.
>> However, when you say "view 2" ghc/ghci doesn't know that you want 2
>> to be an Int (as that's the only type you have an instance for View
>> for).
>
>
> On 2010 Oct 16, at 00:51, Christopher Done wrote:
>
>> Don't integral literals default to Integer, of which there is a Show
>> instance but no View instance?

An in both of the explanations above, it should then complain about  
the lack of an instance of View, rather than about ambiguous type  
variables, n'est-ce pas?


More information about the Haskell-Cafe mailing list