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=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!nntp-feed.chiark.greenend.org.uk!ewrotcd!newsfeed.xs3.de!io.xs3.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail From: "Randy Brukardt" Newsgroups: comp.lang.ada Subject: Re: how to do things like procedure foo(A: string) is bar: string := A; begin; ...;end; Date: Mon, 18 Dec 2017 16:22:54 -0600 Organization: JSA Research & Innovation Message-ID: References: <6bedbdee-ca7f-4d2a-83f9-6cc9c53d21cb@googlegroups.com> <1e659202-ab0b-44a5-9549-3e41fa465ab4@googlegroups.com> Injection-Date: Mon, 18 Dec 2017 22:22:55 -0000 (UTC) Injection-Info: franka.jacob-sparre.dk; posting-host="rrsoftware.com:24.196.82.226"; logging-data="20105"; mail-complaints-to="news@jacob-sparre.dk" X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2900.5931 X-RFC2646: Format=Flowed; Original X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246 Xref: reader02.eternal-september.org comp.lang.ada:49521 Date: 2017-12-18T16:22:54-06:00 List-Id: "Mehdi Saada" <00120260a@gmail.com> wrote in message news:1e659202-ab0b-44a5-9549-3e41fa465ab4@googlegroups.com... >Fine. It means a variable's bounds must be known at initizialisation, not >compilation ? > I had a boggus idea of what "static" means, or when it's necessary. "Static" means (approximately) "determinable at compile-time". And it is rarely necessary (mostly for type declarations [but not subtype declarations] and representation clauses). The vast majority of things allow any legal expression of the correct type. Randy.