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,ab66185f2bca0483 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-11-17 04:26:22 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!bloom-beacon.mit.edu!nycmny1-snh1.gtei.net!news.gtei.net!newsfeed.mathworks.com!intgwlon.nntp.telstra.net!news.telstra.net!news-server.bigpond.net.au!not-for-mail From: Dale Stanbrough Newsgroups: comp.lang.ada Subject: Re: Extension of non-limited type needs limited component References: <2dbd76f3.0211130203.7d2d14fd@posting.google.com> <2dbd76f3.0211140126.5d233e41@posting.google.com> <3vb7tug4h99mmalcn0l5ul18cu0ui6i458@4ax.com> <6bd9tuc40p68a86rlur3hai1qlv54i8985@4ax.com> User-Agent: MT-NewsWatcher/3.3b1 (PPC Mac OS X) Message-ID: Date: Sun, 17 Nov 2002 12:26:21 GMT NNTP-Posting-Host: 144.132.47.50 X-Complaints-To: news@bigpond.net.au X-Trace: news-server.bigpond.net.au 1037535981 144.132.47.50 (Sun, 17 Nov 2002 23:26:21 EST) NNTP-Posting-Date: Sun, 17 Nov 2002 23:26:21 EST Organization: BigPond Internet Services (http://www.bigpond.net.au) Xref: archiver1.google.com comp.lang.ada:30999 Date: 2002-11-17T12:26:21+00:00 List-Id: In article , Robert A Duff wrote: > By the way, have you read the AARM annotations that explain why we > didn't allow user-defined ":=" procedures? We certainly wanted to, > but we couldn't figure out how to make it work, so we invented Adjust, > which is not as powerful. I'd be interested in hearing better ideas > (even though it's probably too late). It seemed to me that the main problem with with discriminants in the tagged types. Would it not have been simpler just to disallow them? Would this have allowed you to have a ":=" procedure? Dale