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,6ae51c3be5bd0091
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-12-16 16:57:56 PST
Path: 
 archiver1.google.com!news2.google.com!news1.google.com!sn-xit-02!sn-xit-06!sn-post-01!supernews.com!corp.supernews.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Streaming limited tagged types
Date: Mon, 16 Dec 2002 18:53:36 -0600
Organization: Posted via Supernews, http://www.supernews.com
Message-ID: <uvstkcjmut5n5b@corp.supernews.com>
References: <gg3rvuctdc3cvlca9ck1kpapu31kinl4fs@4ax.com>
X-Newsreader: Microsoft Outlook Express 4.72.3612.1700
X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3719.2500
X-Complaints-To: abuse@supernews.com
Xref: archiver1.google.com comp.lang.ada:31931
Date: 2002-12-16T18:53:36-06:00
List-Id: <comp.lang.ada>

Dmitry A. Kazakov wrote in message ...
>Hi!
>
>Two problems with that:
>
>1. S'Input is not defined for a limited type. I could define it, but
>it seems that S'Class'Input will be still undefined.
>
>2. Should I have S'Class'Input it would not help much in the case when
>the object should be allocated in the heap. "new" with a qualified
>expression will not work for a limited type.
>
>Is there a way to stream limited tagged types?

This is completely botched in Ada 95. We tried to fix it in the
Corrigendum (see 13.13.1(35-36)), but that isn't quite right either.
AI-195 attempts to fix it again; time will tell if we've gotten it right
this time. (I'm not counting on it.) WG9 approved AI-195 at it's recent
meeting (last Friday). So, you just have to convince your favorite
compiler vendor to implement it. (Note, this is not an Amendment AI.)

            Randy Brukardt, ARG Editor.