Path: csiph.com!eternal-september.org!feeder.eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail From: Keith Thompson Newsgroups: comp.lang.c Subject: Re: The case AGAINST C Date: Sun, 06 May 2018 15:24:39 -0700 Organization: None to speak of Lines: 32 Message-ID: References: <0wXGC.68476$ny5.58646@fx17.am4> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Injection-Info: reader02.eternal-september.org; posting-host="f99c42e1138a8c73b9677b033d51f90e"; logging-data="22822"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+Y/zAvWst2AvgvdRkLvufG" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1 (gnu/linux) Cancel-Lock: sha1:cSSGW4W08hcP/biN4ynGEwsC1qc= sha1:DtbGTxYnh/ga96KpCzXmtWrIQcE= Xref: csiph.com comp.lang.c:130287 Richard Damon writes: > On 5/6/18 4:49 PM, bartc wrote: [...] >> #include is only ever going to be about text insertion. > > That is an assumption, and one that can be show to be false. As has been > mention, it is quite possible that the #include statements referencing > the Standard defined headers might not refer to any 'source file' in the > system, but just 'magically' adds the needed symbols into the > translation environment. Actually I think bartc is correct on this point. N1570 6.10.2 says that #include <...> "causes the replacement of that directive by the entire contents of the header", and #include "..." "causes the replacement of that directive by the entire contents of the source file". That sounds like text insertion to me -- whether the text is literally copied from some input file or obtained by some other means. (It's possible that no text representation of a header is ever generated, and it's processed by "magically" adding entries to the symbol table, but it must be processed *as if* it were inserted as text and then processed through tranlation phases 1-4. #include is defined in terms of text insertion.) -- Keith Thompson (The_Other_Keith) kst-u@mib.org Working, but not speaking, for JetHead Development, Inc. "We must do something. This is something. Therefore, we must do this." -- Antony Jay and Jonathan Lynn, "Yes Minister"