This must be a bug then, because the following works!
y :: Num a => a y = fromIntegral (y::Int)
A simpler example might be:
x :: Int x = y
y :: Num a => a y = fromIntegral x
I have not studied the report to see if this should be legal.
_______________________________________________ Glasgow-haskell-users mailing list [email protected] http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
