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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,a1a88c4d509f6381
X-Google-Attributes: gid103376,public
From: Hyman Rosen <hymie@prolifics.com>
Subject: Re: scope and/or parameters (beginner)
Date: 1999/04/15
Message-ID: <3716633C.D76E6F5A@prolifics.com>#1/1
X-Deja-AN: 466886806
Content-Transfer-Encoding: 7bit
References: <37064309.889106243@news.dsuper.net>
 <37084459.8616007@rocketmail.com> <370b0c99.1137352783@news.dsuper.net>
 <wcchfqkbddr.fsf@world.std.com> <7f2435$54d$1@nnrp1.dejanews.com>
 <37149AE9.883147B6@prolifics.com> <7f52r9$n7q$1@nnrp1.dejanews.com>
 <37162593.73F3F640@prolifics.com> <7f5gj4$45v$1@nnrp1.dejanews.com>
X-Accept-Language: en
Content-Type: text/plain; charset=us-ascii
X-Complaints-To: abuse@panix.com
X-Trace: news.panix.com 924213998 11552 209.49.126.226 (15 Apr 1999 22:06:38
 GMT)
Organization: Prolifics
Mime-Version: 1.0
NNTP-Posting-Date: 15 Apr 1999 22:06:38 GMT
Newsgroups: comp.lang.ada
Date: 1999-04-15T22:06:38+00:00
List-Id: <comp.lang.ada>

Robert Dewar wrote:
> Of course such an implementation is valid, undefined covers
> a lot of ground, but please prove your assertion that
> assignment to a const object is illegal, by specific
> reference to the ANSI standard!

(I'm working off an old Draft, so my sections may be off.)

3.3.16 Assignment Operators
Constraints
	An assignment operator shall have a modifiable lvalue
	as its left operand.

3.3.16.1 Simple assignment
	One of the following shall hold: ...
	* both operands are pointers to qualified or unqualified versions
	  of compatible types, and the type pointed to by the left has all
	  the qualifiers of the type pointed to by the right;

3.2.2.1 Lvalues and function designators
	A modifiable lvalue is an lvalue that ...
	does not have a const-qualified type, ...
	(including, recursively, any member of all contained
	structures or unions) ...