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=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,c89a4b067758a6e1 X-Google-Attributes: gid103376,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news4.google.com!out02b.usenetserver.com!news.usenetserver.com!in02.usenetserver.com!news.usenetserver.com!uns-out.usenetserver.com!news.usenetserver.com!pc03.usenetserver.com!news.flashnewsgroups.com-b7.4zTQh5tI3A!not-for-mail Newsgroups: comp.lang.ada Subject: Re: Is it really Ok to assert that the Ada syntax is a context-free grammar ? References: <4a448c5c-a4ed-446f-bb8b-67c5ba99927a@f47g2000hsd.googlegroups.com> <47bbfb5b$1@news.post.ch> <37b7e369-01c8-4adf-8d1e-c40fa7e51cea@f47g2000hsd.googlegroups.com> From: Stephen Leake Date: Fri, 22 Feb 2008 03:57:52 -0500 Message-ID: User-Agent: Gnus/5.1006 (Gnus v5.10.6) Emacs/22.1 (windows-nt) Cancel-Lock: sha1:O0EvLF1WlFESt3e3ecRAfZ/EHHc= MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Complaints-To: abuse@flashnewsgroups.com Organization: FlashNewsgroups.com X-Trace: 6130a47be8c7be05e48ed10516 Xref: g2news1.google.com comp.lang.ada:19965 Date: 2008-02-22T03:57:52-05:00 List-Id: "Dmitry A. Kazakov" writes: > On Wed, 20 Feb 2008 02:34:34 -0800 (PST), Ludovic Brenta wrote: > >> Martin Krischik wrote: >>> Jeffrey R. Carter schrieb: >>>> X (Y) cannot represent a type cast because Ada does not have anything >>>> called "type cast". >>> >>> Not quite, if you consider "type cast" is a unchecked bit pattern copy - >>> so if you define: >> >> Jeffrey is correct; it is not a "type cast", it is a "type conversion" >> and there is no such thing as "Ada.Unchecked_Cast". > > ARM 13.7.2. I don't see the phrase "type cast" in that section; what is your point? Jeffrey's point was about the specific phrase "type cast"; that is _not_ defined by the Ada language. -- -- Stephe