Hi, I try to undestand why this code dosen't work

f :: (Num a)=>Integer->a

f i = i

Integer is an instance of Num, so why does this code produce error:
"Couldn't  match expected type 'a' againsta inferred type 'Integer' ..."
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to