Re: P1788 input/output
John,
> Should T'-exact2interval() be able to read s? Should T-exact2interval() be able to read s'? My view is Yes. In fact the current draft of I/O says that for 754-conforming > types, T-exact2interval() is the same as T-text2interval() (for any type T), so it can read any interval literal, so it can read s or s' equally well.
>
> Is that sensible?
My view is YES too.
> A follow-up query is whether a (new? change to existing?) Level 2 equality-comparison operation is needed to test equal(x,x') when x,x' are of different types, one being > a subset of the other. Relevant especially for 754-conforming types, as above.
I think that yes, and also other comparison operations ( equal, containedIn, ... , areDisjoint ).
-Dima