Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

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