Still on the same subject, I solved one problem but don't really
understand why it didn't work in the first place ! Although it seems to
be a difference between newtype and data !
I have a newtype defined as :
data Fct s a = Fct (s - [a])
and a function defined by :
plus :: Fct a b - Fct a b -
On Fri, Mar 25, 2005 at 03:13:48PM +0100, Pierre Barbier de Reuille wrote:
plus :: Fct a b - Fct a b - Fct a b
plus (Fct f1) (Fct f2) = Fct ( \ a - (f1 a) ++ (f2 a) )
For some reason, this function does not use leazy evaluation ! I can
test it using :
test_fct :: Fct Int Int
test_fct =