Re: inequalities

[cwitty@newtonlabs.com (Carl R. Witty)]

Bill Allombert <allomber@math.u-bordeaux.fr> writes:

> Thanks for this pre-announce. I use a typed intermediate language that can
> catch such things. However, I do not consider that a<b<c should trigger a
> warning. GCC does not, and in some sense it is a normal C construct. For
> example, (a<b) == (c<d) should be read as " a<b iff c<d ". Yes, I 
> know, C is not a model. I will try to add this check to the compiler.
> 

I don't think that
  (a<b)<c
should necessarily give a warning; I think it would be nice if
  a<b<c
gave a warning.

Yes, I realize that it may be annoying to tell these cases apart.

Carl Witty