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=0.8 required=3.0 tests=BAYES_50,FREEMAIL_FROM,
	T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6
X-Received: by 2002:a05:622a:44b:b0:2f3:f495:386b with SMTP id o11-20020a05622a044b00b002f3f495386bmr18592914qtx.349.1654525868320;
        Mon, 06 Jun 2022 07:31:08 -0700 (PDT)
X-Received: by 2002:a25:1a43:0:b0:660:4263:3452 with SMTP id
 a64-20020a251a43000000b0066042633452mr23695517yba.267.1654525868138; Mon, 06
 Jun 2022 07:31:08 -0700 (PDT)
Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.mixmin.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Mon, 6 Jun 2022 07:31:07 -0700 (PDT)
In-Reply-To: <t7ktsu$178$1@dont-email.me>
Injection-Info: google-groups.googlegroups.com; posting-host=2a02:1210:282b:1d00:80de:cf04:9bb:94b6;
 posting-account=gRqrnQkAAAAC_02ynnhqGk1VRQlve6ZG
NNTP-Posting-Host: 2a02:1210:282b:1d00:80de:cf04:9bb:94b6
References: <t7ktsu$178$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <1353f387-bb5a-4dc5-853f-a74d40f9237dn@googlegroups.com>
Subject: Re: Extra information in the message string of exceptions.
From: Gautier write-only address <gautier_niouzes@hotmail.com>
Injection-Date: Mon, 06 Jun 2022 14:31:08 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader02.eternal-september.org comp.lang.ada:63932
List-Id: <comp.lang.ada>

> Any thoughts on pro's/con's of having the Ada standard packages 
> runtime provide extra information in the message string of exceptions ? 

It depends on the compiler. And of course it is advantage to provide more details.
For instance HAC issues for...

procedure CE_2 is
  i : Positive;
  j : Integer := 1;
begin
  i := -j;
end CE_2;

the message:
hac ce_2.adb
HAC VM: raised Constraint_Error
Out of range: pos, -1, is below (sub)type's lower bound, 1
Trace-back: approximate location
ce_2.adb: CE_2 at line 5

Of for...

procedure CE_3 is
  a : array (1 .. 5) of Integer;
begin
  a (7) := 2;
end CE_3;

hac ce_3.adb
HAC VM: raised Constraint_Error
Out of range: index (pos: 7) is above upper bound (pos: 5)
Trace-back: approximate location
ce_3.adb: CE_3 at line 4