Re: As simple as it is now, I am still against motion 24.03...
Vincent wrote:
> since the first one (x -> [x,x]) is exact.
Only if the scalar x and the interval use the same FP format. That's
only a given if the environment supports only a single format (precision
and radix).
It gets worse when literals are involved, e.g. 0.1 in a binary environment.
So interval arguments must ALWAYS come from an explicit constructor in my
opinion. As I've mentioned in the past, Translation-Time-Types as proposed
in one of the C99 revision documents could provide the necessary syntactic
sugar, but I've not seen this carried to completion, and one intermediate
proposal I saw a few years ago got it wrong.
Michel.
---Sent: 2011-06-15 19:47:00 UTC