Hi,
In Hugs, the infered types for the following four functions:
f a = let m = id a in do return m
f' a = do m <- id a
return m
g a = let m =[a,a] in do return m
g' a = do m <- [a,a]
return m
respectively are
f :: Monad a => b -> a b
f' :: Monad a => a b -> a b
g :: Monad a => b -> a [b]
g' :: a -> [a]
I didn't expect this types, do you?
Anybody has some explanation?
Thanks in advance,
Paqui
---------------------------------
Paqui Lucio
Dpto de LSI
Facultad de Informática
Paseo Manuel de Lardizabal, 1
20080-San Sebastián
SPAIN
---------------------------------
e-mail: [EMAIL PROTECTED]
Tfn: (+34) (9)43 015049
Fax: (+34) (9)43 015590
Web: http://www.sc.ehu.es/paqui
---------------------------------
_______________________________________________
Hugs-Users mailing list
Hugs-Users@haskell.org
http://www.haskell.org/mailman/listinfo/hugs-users
