[Haskell-cafe]  \\ [1..] diverges - intended?
mail at nh2.me
Sat Jul 26 22:03:57 UTC 2014
On 26/07/14 22:55, Henk-Jan van Tuyl wrote:
> You can define (\\) as follows, terminating in case of the samples you
Yes, that's what I mean. Why is it not defined like that?
> but this will not terminate in cases like:
>  \\ [1..]
Yes, this of course not terminate because it has to search for a 0 in
the second list, which takes forever.
But my question was about the first case: Was it intended (or is it
specified) that (\\) cannot work on infinite lists?
Otherwise maybe your implementation should replace the current one?
More information about the Haskell-Cafe