NaN's Paul Schlie (29 Oct 2005 15:50 UTC)
Re: NaN's Marcin 'Qrczak' Kowalczyk (29 Oct 2005 16:39 UTC)
Re: NaN's Paul Schlie (29 Oct 2005 18:22 UTC)
Re: NaN's Marcin 'Qrczak' Kowalczyk (29 Oct 2005 19:14 UTC)
Re: NaN's Paul Schlie (29 Oct 2005 22:49 UTC)
Error objects in general bear (29 Oct 2005 19:46 UTC)
Re: Error objects in general Marcin 'Qrczak' Kowalczyk (29 Oct 2005 20:22 UTC)
Re: Error objects in general bear (30 Oct 2005 05:57 UTC)
Re: Error objects in general Marcin 'Qrczak' Kowalczyk (30 Oct 2005 14:17 UTC)
Re: Error objects in general Alan Watson (29 Oct 2005 21:26 UTC)
Re: Error objects in general bear (30 Oct 2005 05:40 UTC)
Re: Error objects in general Taylor Campbell (30 Oct 2005 05:45 UTC)
Re: Error objects in general bear (30 Oct 2005 06:08 UTC)
Re: Error objects in general Taylor Campbell (30 Oct 2005 16:49 UTC)
Re: Error objects in general Alan Watson (30 Oct 2005 05:54 UTC)
Re: Error objects in general bear (30 Oct 2005 06:07 UTC)
Re: Error objects in general Alan Watson (30 Oct 2005 06:46 UTC)
Re: Error objects in general Paul Schlie (30 Oct 2005 12:39 UTC)
Re: Error objects in general Paul Schlie (30 Oct 2005 13:04 UTC)
Re: Error objects in general John.Cowan (30 Oct 2005 16:30 UTC)
Re: Error objects in general Alan Watson (30 Oct 2005 20:29 UTC)
Re: Error objects in general Alan Watson (30 Oct 2005 13:17 UTC)

Re: Error objects in general Alan Watson 30 Oct 2005 13:17 UTC

Paul Schlie wrote:
> - Should there be an observable difference between assoc failing to find
>   a match given operands with well defined values, vs. given operands having
>   un-specified values?

Values are values. When we say "this expression returns an unspecified
value" we mean "this expression returns a value, but precisely which
value is unspecified". There is nothing special about unspecified
values. So, no, assoc should not (indeed, cannot) do anything special
with unspecified values because assoc sees them as plain values.

> - Should a comparison operation (= 0 X) return #t #f or something else
>   if the value of X is an unspecified NaN value? [as such a value may or may
>   not be 0]?

Section 5.7 of IEEE 754 says #f.

> - what should (list-ref x y) return if y had an un-specified value?

NaNs are inexact, so this should signal an error as y must be exact.

> - or more generally, what value should (car #t) or (if #f #f) return?

The former should signal an error and the value of the latter is
unspecified.

Regards,

Alan
--
Dr Alan Watson
Centro de Radioastronomía y Astrofísica
Universidad Astronómico Nacional de México