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?
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to