[std-interval] Revised document available

[Gabriel Dos Reis]

Guillaume Melquiond <guillaume.melquiond at ens-lyon.fr> writes:

[...]

| > >[ ...one should give an abstract definition of operations here. ]
| > >For each supported type T, the implementation-dependent set I_T, of 
| > >intervals supported by the interval<T> instantiation, must be a 
| > >subset of I that includes the empty set and the whole line. I_T must 
| > >be defined in the implementation's user documentation.
| > 
| > This wording leaves data representation opaque. It only needs small 
| > changes to accommodate non-closed intervals should this be desirable.
| 
| This may be a bit verbose. I wonder if we really have to say that much
| in the "standard" part of proposal (it could be fine for the "rationale"
| part though).

You're highly encouraged to say as much as you can to make the text 
unambiguous and understandable without refering to a "Rationale"
document -- the C++ standard does not have one and we're unlikely to have
one for the next version.  The least thing you'll want is a series of
DRs just because people missed the rationale.  Don't try to make
saving on the wording -- the standards committee will figure that part
out does the need arise. 

-- Gaby