j
k
j a
j l
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.
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.
Back to the thread
Back to the list
