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!news.germany.com!newsfeed.utanet.at!newsfeed01.chello.at!newsfeed02.chello.at!news.hispeed.ch.POSTED!not-for-mail
Message-Id: <21497899.Y65aT544dH@linux1.krischik.com>
From: Martin Krischik <krischik@users.sourceforge.net>
Subject: Re: Is it really Ok to assert that the Ada syntax is a context-free
 grammar ?
Newsgroups: comp.lang.ada
Date: Thu, 21 Feb 2008 20:20:38 +0100
References: 
 <4a448c5c-a4ed-446f-bb8b-67c5ba99927a@f47g2000hsd.googlegroups.com>
 <FWLuj.41404$yE1.10867@attbi_s21> <47bbfb5b$1@news.post.ch>
 <vi_uj.42453$yE1.41991@attbi_s21>
User-Agent: KNode/0.10.5
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7Bit
X-Complaints-To: abuse@hispeed.ch
Organization: hispeed.ch
NNTP-Posting-Host: 84.75.167.168 (84.75.167.168)
NNTP-Posting-Date: Thu, 21 Feb 2008 21:15:18 +0100
X-Trace: b08d647bddbd6f1ee020d05638
Xref: g2news1.google.com comp.lang.ada:19949
Date: 2008-02-21T20:20:38+01:00
List-Id: <comp.lang.ada>

Jeffrey R. Carter wrote:

> Martin Krischik wrote:
>  >
>> Not quite, if you consider "type cast" is a unchecked bit pattern copy -
>> so if you define:
>> 
>> function X is new Unchecked_Conversion (...);
>> 
>> the X would indeed be a it "type cast".
> 
> No, "type cast" is not defined for Ada. What you have described is an
> unchecked type conversion.

"Rot" and "Rouge" are not defined in the English language either but that
does not mean the colour at the lower end of the spectrum is not defined in
English. Actually it is - it's called "Red".

Martin
-- 
mailto://krischik@users.sourceforge.net
Ada programming at: http://ada.krischik.com