On Tue, Feb 6, 2018 at 8:43 PM, Peter T. Breuer <ptb@xxxxxxxxxxxxxx> wrote: > "Also sprach Jonathan Wakely:" >> >> On 6 February 2018 at 18:37, Tadeus Prastowo wrote: >> > @Peter Breuer: it seems that you are not very knowledgeable about the >> > internals of the C language. Hence, I would like to invite you to > > Amusing. Byt as the infamous author of a much used higher order > compiler compiler in C, a linear logic model checker for C, about 4 > different user-driven languages that I can recall written in C, ranging > from a persistent higher order lazy functional language to a decompiler > compiler, and a mathematical logician well known as a programming > languages semanticist who has given denotational, operational and > logical semantics to many programming, machine and specification > languages, etc etc etc, "I don't think so". You mean this http://dblp.uni-trier.de/pers/hd/b/Breuer:Peter_T= ? [...] >> And maybe find somewhere else to discuss it. "I don't understand the C >> standard" is not a GCC problem, so doesn't belong on this mailing > > Please desist from ad hominen attacks. Jonathan is not attacking you. This mailing list is specific to GCC problem, and what you are talking about is a language specification issue. I bet you know that you should not submit a paper to a conference whose topic is tangential to your paper. For C language specific issue, you should join comp.std.c to make a defect report as you can learn from https://groups.google.com/d/msg/comp.std.c/yIpg6gtdOoU/44GfW3-ib0YJ . [...] > I would be grateful if you do > manage to find somewhere in the spec that allows the conversion thang > not to be done for >>. You already identified it in the previous e-mail. The word "many". To quote ISO-IEC 9899:1999 Section 6.3.1.8 Paragraph 1: Many operators that expect operands of arithmetic type cause conversions and yield result types in a similar way. End quote. > I now don't know for sure what needs to be done here. Take this discussion to comp.std.c, please? > Regards > > PTB -- Best regards, Tadeus
