Hello!
On Tue, Sep 15, 1998 at 01:16:49PM +0400, S.D.Mechveliani wrote:
> [...]
> At least, i think, this will be a good idea to consider the values
> like [1..] as the defined results.
It *is* defined, when you consider "you can compute the WHNF in
finite time" as defined.
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.
