At 2001-01-18 15:38, I wrote:

>3 is not always an Integer. It's of type "(Num a) => a".

Of course, it would be nice if 3 were an Integer, and Integer were a 
subtype of Real. I haven't come across a language that does this, where 
for instance 3.0 can be cast to Integer (because it is one) but 3.1 
cannot be.

-- 
Ashley Yakeley, Seattle WA


_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell

Reply via email to