From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.5-pre1 Path: eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!gandalf.srv.welterde.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: Ada 2020 Jupyter notebooks Date: Sun, 6 Sep 2020 18:34:46 -0500 Organization: JSA Research & Innovation Message-ID: References: <5707111a-7eb1-42f5-946b-6df8f617b65cn@googlegroups.com> <361943a7-1c8a-436f-b535-54a9da8b5d06n@googlegroups.com> <2ea8f3d3-4d2b-47e4-bd6b-0038a210b18bn@googlegroups.com> Injection-Date: Sun, 6 Sep 2020 23:34:47 -0000 (UTC) Injection-Info: franka.jacob-sparre.dk; posting-host="rrsoftware.com:24.196.82.226"; logging-data="15067"; 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: reader01.eternal-september.org comp.lang.ada:60099 List-Id: "Maxim Reznik" wrote in message news:2ea8f3d3-4d2b-47e4-bd6b-0038a210b18bn@googlegroups.com... > But this works only for SCALAR types (in Ada 2012 TC1), right? > While in Ada 202x this works for ANY type, such as records, arrays and > access types. That is what I try to describe in the notebook. Ah, you're conflating the notation X'Image (for objects), which is Ada 2012 TC1, and Image for all types, which is indeed Ada 202x. When I read the title of the notebook, I saw the former, not the latter. Note that S'Image works for all types as well in Ada 202x, it's not about the form of the attribute. (I realize that one can just use the object form, since you can always qualify any expression that is not allowed as a prefix, and that would be only 1 character longer than the subtype form [one extra '; the parens just move to the prefix from the attribute argument]. But that really is a style guide issue, and not everyone will agree.) Randy.