From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on ip-172-31-65-14.ec2.internal X-Spam-Level: ** X-Spam-Status: No, score=2.4 required=3.0 tests=BAYES_50,FREEMAIL_FROM, SCC_BODY_URI_ONLY,T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.6 X-Received: by 2002:a05:6214:c6e:b0:46b:c08b:c649 with SMTP id t14-20020a0562140c6e00b0046bc08bc649mr2173114qvj.59.1654620066915; Tue, 07 Jun 2022 09:41:06 -0700 (PDT) X-Received: by 2002:a25:c711:0:b0:65c:9f45:64e5 with SMTP id w17-20020a25c711000000b0065c9f4564e5mr29956425ybe.189.1654620066626; Tue, 07 Jun 2022 09:41:06 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Tue, 7 Jun 2022 09:41:06 -0700 (PDT) In-Reply-To: <3bc7a99c-d541-497b-b3fd-7a6db0ee0de9n@googlegroups.com> Injection-Info: google-groups.googlegroups.com; posting-host=149.32.192.43; posting-account=Qh2kiQoAAADpCLlhT_KTYoGO8dU3n4I6 NNTP-Posting-Host: 149.32.192.43 References: <3bc7a99c-d541-497b-b3fd-7a6db0ee0de9n@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Extra information in the message string of exceptions. From: Anh Vo Injection-Date: Tue, 07 Jun 2022 16:41:06 +0000 Content-Type: text/plain; charset="UTF-8" X-Received-Bytes: 1602 Xref: reader02.eternal-september.org comp.lang.ada:63949 List-Id: On Tuesday, June 7, 2022 at 8:56:00 AM UTC-7, Fabien Chouteau wrote: > On Monday, June 6, 2022 at 3:40:38 PM UTC+2, Fabien Chouteau wrote: > > But this feature could be activated with a switch only when needed. > Well, it turns our this is already implemented in GNAT ^^ > > Example here: https://godbolt.org/z/fcTEaq3xP Very nice. I love some thing like this.