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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,78b2880bc7e78e39
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-03-20 08:41:54 PST
Newsgroups: comp.lang.ada
Path: 
 supernews.google.com!sn-xit-02!supernews.com!news.gv.tsc.tdk.com!news.iac.net!news-out.cwix.com!newsfeed.cwix.com!typhoon.sonic.net!uunet!sac.uu.net!ash.uu.net!world!bobduff
From: Robert A Duff <bobduff@world.std.com>
Subject: Re: RISC
Sender: bobduff@world.std.com (Robert A Duff)
Message-ID: <wccn1agpf7s.fsf@world.std.com>
Date: Tue, 20 Mar 2001 16:39:19 GMT
References: 
 <JqQr6.1962$y47.389981@news2-win.server.ntlworld.com><NH2s6.4048$y47.865896@news2-win.server.ntlworld.com><Zv4s6.3640$54.4417@www.newsranger.com><wccpufjaxz5.fsf@world.std.com>
	<98qumf$5sf$1@nh.pace.co.uk> <wccbsr23n0q.fsf@world.std.com>
	<98r4g1$7r1$1@nh.pace.co.uk> <3ab1d090$1@pull.gecm.com>
	<98t8la$rc$1@nh.pace.co.uk> <3ab72c8f$1@pull.gecm.com>
	<997pq4$i35$1@nh.pace.co.uk> <LWKt6.1865$94.2578@www.newsranger.com>
Organization: The World Public Access UNIX, Brookline, MA
X-Newsreader: Gnus v5.3/Emacs 19.34
Xref: supernews.google.com comp.lang.ada:5907
Date: 2001-03-20T16:39:19+00:00
List-Id: <comp.lang.ada>

Ted Dennison<dennison@telepath.com> writes:

> I don't like "for use at" overlays. For one thing, initializations get
> (re)done when the overlay happens, which could wipe out important
> stuff.

No, the programmer has the choice as to whether default initializations
happen.  They happen by default.  To turn them off, say "pragma
Import(Ada, X);".  See AARM-B.1(38-38.a).

>... For another, the aliasing is (generally) given a much wider
> scope than is achievable with unchecked conversion.

I don't see why.  You can declare the overlaid thing local to a
procedure.

- Bob