what is the type of 'shf' in

> foo :: (a -> String) -> a -> ()
> foo shw  x  =
>   let
>          shf o = shw o
>
>   in return ()

for it certainly is not 'shf :: a -> String',
as this explicit signature will not type check ?





____________
Virus checked by G DATA AntiVirusKit
Version: AVK 12.0.37 from 06.12.2002
Virus news: www.antiviruslab.com

_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

Reply via email to