ed.
The WHNF of [1..] is 1:[2..].
> Also does `let f = f in f :: Char'yield a defined result?
This is not defined in the sense above, because it doesn't terminate
(when demanded). Thus, denotationally, the value of that expression
is bottom.
Regards, Felix.
Sietse Achterop <[EMAIL PROTECTED]> writes
> ...
> On a general note, should executing a program not always yield a
> defined result? That is, either yield the correct result OR produce
> an error message?
At least, i think, this will be a good idea to consider the values
