Re: Poor me... (was: Re: [PATCH, RFA] Reworked fix for PR4402)

[Nathan Myers <ncm-nospam at cantrip dot org>]

On Sun, Dec 02, 2001 at 02:00:56AM +0100, Paolo Carlini wrote:
> Nathan Myers wrote:
> 
> > On Sun, Dec 02, 2001 at 01:26:40AM +0100, Paolo Carlini wrote:
> > > of course there is *no* grouping at all for float types...
> > > (see, f.i., Langer/Kreft 571-572).   May I say that I have
> > > been a little bit sidetracked by the comment at the beginning of
> > > _M_widen_float?
> >
> > Not so fast.  The restriction of grouping to integer types is
> > manifestly a typo in the standard, and the subject of a Defect
> > Report.  Since the standard unambiguously requires parsing
> > separators in floats, there's little room to argue that the
> > restriction was intended and understood by the comittee.
> 
> ... the *present* libstc++-v3 code does *not* group 
> float types and that comment is not coherent with the code. Do you 
> believe we should start implementing that? What's the official status 
> of the Defect Report? It could be an interesting project.

The Standard requires parsing separators in floats, and there is no
prospect of that changing.  The official status of the Defect Report 
is still "Open"; resolution has been stalled for years by several 
members of the LWG, but they can't put it off forever.  It is obvious 
we must implement parsing of separators in floating point types.  IMHO 
we should also implement formatting with separators for floating point 
types, in anticipation of the expected resolution.

My memory says that support was in there before.  If so, somebody must 
have ripped it out without changing the comment.
 
> By the way, what do you think of the "exponential allocation" patch? 
> Without your neat statements in July, probably we would'nt be working 
> so hard at it!

I have been following it with great interest, wishing I could afford
the time to participate more.  Now get some sleep!

Nathan Myers
ncm at cantrip dot org