At 2001-01-18 05:16, Saswat Anand wrote:
>class C a where
> fun :: a -> Integer
>
>instance C Integer where
> fun x = x+ 1
>
>with these definitons:
>
>fun 3 --gives error in Hugs
>fun (3::Integer) -- OK
>
>I am a building an embedded language, so don't want user to cast. Is there a
>solution?
3 is not always an Integer. It's of type "(Num a) => a".
I couldn't find a way to say that every Num is a C.
--
Ashley Yakeley, Seattle WA
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
