[m-dev.] Re: Lazy Semantics?

[Peter Schachte]

On Fri, 1 Aug 1997, Andrew Bromage wrote:

> For example, semidet code must be evaluated fully even though
> the outputs may not be needed just in case it fails.

Unless, of course, it's in the condition of an if->then;else none of the
outputs of which are needed....


-Peter Schachte      URL:  http://www.cs.mu.oz.au/~pets/
pets at cs.mu.OZ.AU     PGP:  finger pets at 128.250.37.150 for key
    Do insects spend hours demammaling their programs?