More on flavor conversions (was:Re: Revised FlavorsText)
P1788
I wrote:
> It seems that somehow inter-flavor conversion functions were forgotten.
Trying to write text, I found it really needs to go later than 7.1, so I suggest putting it in a new sub-subclause before the current 7.5.4 "Measures of accuracy". How about this?
> 7.5.4. Inter-flavor conversion. If an implementation provides more than one flavor, it shall provide conversions between them. For any two flavors F_1 and F_2, it shall define those Level 1 F_1-intervals x_1 and F_2-intervals x_2 that are regarded as equal. Mutual conversion shall be provided for at least one pair of types T_1 of F_1 and T_2 of F_2. That is, each T_1-interval x_1 maps to a T_2-interval that encloses the F_2-interval x_2 that equals the Level 1 value of x_1, if x_2 exists. If it does not exist, or no T_2-enclosure can be found, the UndefinedOperation exception is signaled. The same applies with T_1 and T_2 interchanged.
John Pryce