12 Jan
2009
12 Jan
'09
2:23 p.m.
On Mon, Jan 12, 2009 at 6:06 PM, Robin Green
The fix-style equivalent to your repeat above, would be something like this:
repeat x = fix $ \me -> x ::: me
Interesting. Your repeat and mine are compiled to the same code: Data.Stream.repeat :: forall a_aVi. a_aVi -> Data.Stream.Stream a_aVi Data.Stream.repeat = \ (@ a_a2lT) (x_aZ6 :: a_a2lT) -> letrec { repeat_x_s50K :: Data.Stream.Stream a_a2lT repeat_x_s50K = Data.Stream.::: @ a_a2lT x_aZ6 repeat_x_s50K; } in repeat_x_s50K Bas