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,87557ce53b069315
X-Google-Attributes: gid103376,public
From: tmoran@bix.com
Subject: Re: meaning of "current instance"
Date: 1999/11/15
Message-ID: <xkZX3.14600$dp.430483@typhoon-sf.snfc21.pbi.net>#1/1
X-Deja-AN: 548950199
References: <38304D11.204F156A@averstar.com>
X-Complaints-To: abuse@pacbell.net
X-Trace: typhoon-sf.snfc21.pbi.net 942694813 206.170.2.20 (Mon,
 15 Nov 1999 11:40:13 PST)
Organization: SBC Internet Services
NNTP-Posting-Date: Mon, 15 Nov 1999 11:40:13 PST
Newsgroups: comp.lang.ada
Date: 1999-11-15T00:00:00+00:00
List-Id: <comp.lang.ada>

>This is illegal, even if you use 'Unchecked_Access, unless T is limited,
Two out of the three compilers on my machine accept:
  package junk1 is
     type T is tagged private;
     function Init (O : access T'Class) return integer;
  private
     type T is
       tagged record
         I : Integer := Init (T'Access);
       end record;
  end junk1;
with no "limited".  I take it they are in error?