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,ab1d177a5a26577d
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!news4.google.com!feeder.news-service.com!94.75.214.39.MISMATCH!aioe.org!news.tornevall.net!.POSTED!not-for-mail
From: Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: What's wrong with C++?
Date: Thu, 17 Feb 2011 14:07:21 -0700
Organization: TornevallNET - http://news.tornevall.net
Message-ID: <ijk2ng$7pi$1@tornado.tornevall.net>
References: 
 <1ee1a434-4048-48f6-9f5e-d8126bebb808@r19g2000prm.googlegroups.com>
	<4D5C1824.3020509@obry.net>
	<21443638-5ec6-49d4-aafe-6fbc1e59daba@r19g2000prm.googlegroups.com>
	<b9455b1f-1db2-4e10-bdb7-13b0e305d7a6@h40g2000pre.googlegroups.com>
	<87d2371e-af91-4d6a-8d5b-3ddb972d84fd@k17g2000pre.googlegroups.com>
	<op.vq18691rule2fv@douda-yannick>
 <87zkpuze5e.fsf@ludovic-brenta.org>	<4d5d791f$0$17330$882e7ee2@usenet-news.net>
 <87vd0izba1.fsf@ludovic-brenta.org>
NNTP-Posting-Host: fcca9273c210dd70c27e1a9702605158
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: 9827f5b34cd482d7a46f49cff3390f78
X-Complaints-To: abuse@tornevall.net
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US;
 rv:1.9.2.13) Gecko/20101208 Thunderbird/3.1.7
X-Complaints-Language: Spoken language is english or swedish - NOT ITALIAN,
 FRENCH, GERMAN OR ANY OTHER LANGUAGE!
In-Reply-To: <87vd0izba1.fsf@ludovic-brenta.org>
X-UserIDNumber: 1738
X-Validate-Post: 
 http://news.tornevall.net/validate.php?trace=9827f5b34cd482d7a46f49cff3390f78
X-Complaints-Italiano: Non abbiamo padronanza della lingua italiana - se
 mandate una email scrivete solo in Inglese, grazie
X-Posting-User: 0243687135df8c4b260dd4a9a93c79bd
Xref: g2news1.google.com comp.lang.ada:17374
Date: 2011-02-17T14:07:21-07:00
List-Id: <comp.lang.ada>

On 02/17/2011 12:55 PM, Ludovic Brenta wrote:
>
> type E is (A, B, C);
> B : E := E'Val (E'Pos (A) + E'Pos (C)); -- Constraint_Error

Not quite. A = E'First, and E'Pos (E'First) = 0, so this yields C. However, 
using B and C will raise Constraint_Error (once once corrects the error of the 
variable being named B).

-- 
Jeff Carter
"My mind is a raging torrent, flooded with rivulets of
thought, cascading into a waterfall of creative alternatives."
Blazing Saddles
89