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=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,9ce1286476fdb62a X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 1995-01-23 09:28:35 PST Path: nntp.gmd.de!newsserver.jvnc.net!howland.reston.ans.net!gatech!udel!news.mathworks.com!panix!cmcl2!thecourier.cims.nyu.edu!thecourier.cims.nyu.edu!nobody From: comar@cs.nyu.edu (Cyrille Comar) Newsgroups: comp.lang.ada Subject: Re: Limited_Controlled types and generic formal parameters Date: 23 Jan 1995 12:28:35 -0500 Organization: Courant Institute of Mathematical Sciences Message-ID: <3g0p03$1r0@lang8.cs.nyu.edu> References: NNTP-Posting-Host: lang8.cs.nyu.edu Date: 1995-01-23T12:28:35-05:00 List-Id: bobduff@world.std.com (Robert A Duff) writes: : : Sounds like a compiler bug. Every object of a controlled type gets : Initialize called for it. That includes components (components are : objects), and it even includes components whose type is a generic formal : type that isn't visibly controlled. : It is more in the category of unimplemented (and clearly documented) features.... GNAT 2.00 was doing exactly 'nothing' with controlled components, let alone the wierd case of the original message... Just another reminder that GNAT is not (yet?) a validated Ada9x compiler so it is prudent to check the 'features' file before any experiment (or at least before drawing any conclusion from them) -- ------------------------------------------------------------------------ Cyrille Comar, E-mail: comar@cs.nyu.edu Gnat Project US phone: (212) 998-3489