From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: State of the compiler market Date: Sat, 25 Feb 2017 17:11:07 +0100 Organization: Aioe.org NNTP Server Message-ID: References: <5881b0ca-3a11-442e-88ce-18d0a6142c24@googlegroups.com> <4551a7d2-9890-4509-98a3-d45363e90142@googlegroups.com> NNTP-Posting-Host: BYuA7L7MRjuLLjcoGHOBxw.user.gioia.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Complaints-To: abuse@aioe.org User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:45.0) Gecko/20100101 Thunderbird/45.7.1 X-Notice: Filtered by postfilter v. 0.8.2 Xref: news.eternal-september.org comp.lang.ada:33410 Date: 2017-02-25T17:11:07+01:00 List-Id: On 2017-02-25 16:49, Ingo M. wrote: >> Clearly there is no difference if expression is static or not for the >> parser. > > For the parser, yes. Compilers and transpilers however need every > piece of information, otherwise there would be no need to mention "static". Sure, but that has nothing to do with syntax and grammars. Ada reference manual defines semantics far more detailed and precise than manuals of languages enjoying multitude of compilers... -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de