Re: cycle[]::[()] -- Hugs 1.4

[Koen Claessen]

Hi,

 | > 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?

Koen.

--
Koen Claessen,
[EMAIL PROTECTED],
http://www.cs.chalmers.se/~koen,
Chalmers University of Technology.