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=-2.9 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI autolearn=unavailable autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,4103f02f9e6c4df2 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-02-15 13:01:18 PST Path: supernews.google.com!sn-xit-02!supernews.com!news.gv.tsc.tdk.com!falcon.america.net!sunqbc.risq.qc.ca!newsfeed.cwix.com!newsfeed.icl.net!news.tele.dk!213.56.195.71!fr.usenet-edu.net!usenet-edu.net!enst!enst.fr!not-for-mail From: "Beard, Frank" Newsgroups: comp.lang.ada Subject: RE: RE: Ada 0y wish list: Date: Thu, 15 Feb 2001 16:00:11 -0500 Organization: ENST, France Sender: comp.lang.ada-admin@ada.eu.org Message-ID: Reply-To: comp.lang.ada@ada.eu.org NNTP-Posting-Host: marvin.enst.fr Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" X-Trace: avanie.enst.fr 982270875 43653 137.194.161.2 (15 Feb 2001 21:01:15 GMT) X-Complaints-To: usenet@enst.fr NNTP-Posting-Date: Thu, 15 Feb 2001 21:01:15 +0000 (UTC) To: "'comp.lang.ada@ada.eu.org'" Return-Path: X-Mailer: Internet Mail Service (5.5.2448.0) Errors-To: comp.lang.ada-admin@ada.eu.org X-BeenThere: comp.lang.ada@ada.eu.org X-Mailman-Version: 2.0 Precedence: bulk List-Help: List-Post: List-Subscribe: , List-Id: comp.lang.ada mail<->news gateway List-Unsubscribe: , List-Archive: Errors-To: comp.lang.ada-admin@ada.eu.org X-BeenThere: comp.lang.ada@ada.eu.org Xref: supernews.google.com comp.lang.ada:5284 Date: 2001-02-15T16:00:11-05:00 What I had envisioned is that it would work very similar to an access type. However stack space is controlled for an access type would be the same way to control the stack space for the deferred by reference type. As for the size, it would deviate slightly from access types, in that to get the size of an access type it is X.all'size. For the deferred type it would still be X'size, because the compiler would know that it's a deferred type and do the X.all'size equivalent, transparent to the user. The Alsys compiler on the LynxOs documented that if a subprograms variable's size was larger than 2048 is would allocate it from the heap; otherwise, it would allocate it from the stack. Alsys made that decision based on the size, so why can't that decision be made based on the type. Then there would never be a stack issue. Again, it would be similar to an access type. If the unit is recompiled, then the executable has to be rebound. Since the internal variable tables have been updated, the bind (link) should resolve the new sizes. Frank -----Original Message----- From: Ted Dennison [mailto:dennison@telepath.com] Sent: Thursday, February 15, 2001 3:04 PM To: comp.lang.ada@ada.eu.org Subject: Re: RE: Ada 0y wish list: But passing parameters isn't the only issue. You also have to generate code for allocating stack space for objects of that type. In extreme cases, you might even need to create an array type or do something else relatively static based on the type's 'size. How are you going to do that without needing that code to be regenerated whenever the source file containing the definition of the object's size is recompiled? --- T.E.D. homepage - http://www.telepath.com/dennison/Ted/TED.html home email - mailto:dennison@telepath.com _______________________________________________ comp.lang.ada mailing list comp.lang.ada@ada.eu.org http://ada.eu.org/mailman/listinfo/comp.lang.ada