Hi,
on Thu, 16 Apr 1998, Koen Claessen wrote:
> | > Expression:
> | > cycle[]::[()]
> | > Observed behaviour:
> | > (endless loop)
> | > Expected behaviour:
> | > Program error: Prelude.cycle: cycle[] is undefined
>
> Why is this a bug? Isn't the expected behavior an endless loop?
I see that formally non-termination is the same as an "error message".
But I would not *expect* non-termination here. Neither would I
expect my pocket calculator to show a blank display when I request
to compute 0 * (1 / 0) (except when the batteries are low ;-)
Friedhelm
