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.4 required=5.0 tests=AC_FROM_MANY_DOTS,BAYES_00 autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,1dd28d5040ded1f8 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-05-09 22:29:17 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!kibo.news.demon.net!demon!diablo.netcom.net.uk!netcom.net.uk!psiuk-p2!psiuk-p3!uknet!psiuk-n!news.pace.co.uk!nh.pace.co.uk!not-for-mail From: "Marin David Condic" Newsgroups: comp.lang.ada Subject: Re: Announce: Grace project site operational Date: Thu, 9 May 2002 16:44:26 -0400 Organization: Posted on a server owned by Pace Micro Technology plc Message-ID: References: NNTP-Posting-Host: dhcp-200-133.miami.pace.co.uk X-Trace: nh.pace.co.uk 1020977067 26352 136.170.200.133 (9 May 2002 20:44:27 GMT) X-Complaints-To: newsmaster@news.cam.pace.co.uk NNTP-Posting-Date: 9 May 2002 20:44:27 GMT X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.50.4522.1200 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4522.1200 Xref: archiver1.google.com comp.lang.ada:23820 Date: 2002-05-09T20:44:27+00:00 List-Id: That's O.K. Its a trial baloon. If nobody ever floats a new idea for fear of being called stupid or because they have not worked out every possible detail, then not many ideas will get floated. Tossing it out there might stimulate some other creative souls to come up with even better ideas. If nothing else, you can find out if anyone likes the idea. Would you want to use something more like: type Count is range <> use Natural ; .... thus insisting that the formal and the default have the same characteristics? Although, I'd probably want to also be able to supply any default type that minimally satisfied the requirements of the formal, so maybe it needs a lot of syntax variations. How about: type defining_identifier [discriminant] is formal_type_definition [=> default_type] ; As in: type Count is range <> => Natural ; That is a little more like the formal => actual association you can have at the instantiation. MDC -- Marin David Condic Senior Software Engineer Pace Micro Technology Americas www.pacemicro.com Enabling the digital revolution e-Mail: marin.condic@pacemicro.com "Randy Brukardt" wrote in message news:udllen75oc322b@corp.supernews.com... > > Something like: > > type Count is (<>) use Natural; > > seems like it would work. Probably worth thinking about a bit. (Warning: > I have made no effort to think about the ramifications of this idea!!) >