[cpp-threads] Editorial comments on the straw man

[Boehm, Hans]

I'm happier with "is sequenced before" than with "occurs before".  I
think it's distinct enough from "sequence point" to make it clear that
we are changing some of the definitions, but close enough to make it
clear what's being replaced.  And since the C standard will presumably
continue to use the term "sequence point", I think there's something to
be said for not completely losing the correspondence.  I'd like to go
ahead and replace it.

I would prefer to stick with "happens before", since I think it's
consistent with usage elsewhere.  There are technical differences
between it and the Java definition, but it basically serves the same
purpose.

Hans

> -----Original Message-----
> From: cpp-threads-bounces at decadentplace.org.uk 
> [mailto:cpp-threads-bounces at decadentplace.org.uk] On Behalf 
> Of Nelson, Clark
> Sent: Thursday, January 19, 2006 9:25 AM
> To: C++ threads standardisation
> Subject: RE: [cpp-threads] Editorial comments on the straw man
> 
> 
> > > In any case, your opinion appears to be that the confusion about 
> > > "sequence point" is so intense that it has poisoned the
> > word "sequence"
> > > past redemption. ...
> > 
> > That's not quite it.  Having been involved in many
> > unproductive debates
> > on the One True Meaning of C's sequence point model, my view is that
> > rattling those cages is not a clever thing to do.  If it 
> were possible
> > to ensure that historical assumptions - and entrenched 
> > positions - could
> > be kept out of it, I wouldn't be so happy.
> 
> Well, we won't be able to avoid rattling those cages in the 
> process of clarifying what "sequence point" is really 
> supposed to mean, whether we use the word "sequence", 
> "happens/occurs", or "blick".
> 
> Clark
> 
> -- 
> cpp-threads mailing list
> cpp-threads at decadentplace.org.uk 
> http://www.decadentplace.org.uk/cgi-bin/mailman/listinfo/cpp-threads
>