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,c0d188b409ece1ea X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-10-11 12:30:53 PST Path: archiver1.google.com!news1.google.com!sn-xit-02!supernews.com!newsfeed.direct.ca!look.ca!btnet-peer0!btnet-peer!btnet!newspeer.clara.net!news.clara.net!news5-gui.server.ntli.net!ntli.net!news2-win.server.ntlworld.com.POSTED!not-for-mail From: "chris.danx" Newsgroups: comp.lang.ada References: <9q4ptm$l7t$1@ns.felk.cvut.cz> Subject: Re: Designated type of actual does not match that of formal "name"? MIME-Version: 1.0 Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: 7bit X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2600.0000 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2600.0000 Message-ID: Date: Thu, 11 Oct 2001 20:25:46 +0100 NNTP-Posting-Host: 62.252.144.81 X-Complaints-To: abuse@ntlworld.com X-Trace: news2-win.server.ntlworld.com 1002828334 62.252.144.81 (Thu, 11 Oct 2001 20:25:34 BST) NNTP-Posting-Date: Thu, 11 Oct 2001 20:25:34 BST Organization: ntlworld News Service Xref: archiver1.google.com comp.lang.ada:14321 Date: 2001-10-11T20:25:46+01:00 List-Id: > > If there isn't a way around this then the record type which holds an item > of > > type xxx_access will have to be limited (and hold an item of type xxx > > instead). That might not be such a bad idea in this instance, but I'd > like > > to know how what exactly the error means anyway. > > The type is not required to be limited for Unchecked_Deallocation. No, but the other possibility (if the error was not simple to fix, which fortunately it is) was to simply use an item of type xxx instead of an item of type access to xxx (which probably should have been the case in the first place). The language enforces that a record containing a limited type is also 'limited' if i remember correctly, hence the need for some modification. In this instance it made sense to make the type limited since it's meant to represent a file and assignment and equality don't apply in the sense that they would to another type. The type and it's associated subprograms have been modified to make it limited. Thanks for the info, Chris