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,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 2002:a6b:b545:: with SMTP id e66mr11461216iof.13.1550333750829;
        Sat, 16 Feb 2019 08:15:50 -0800 (PST)
X-Received: by 2002:aca:3085:: with SMTP id w127mr49204oiw.2.1550333750639;
 Sat, 16 Feb 2019 08:15:50 -0800 (PST)
Path: 
 eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.gegeweb.eu!gegeweb.org!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.166.215.MISMATCH!y22no229597ita.0!news-out.google.com!v188ni535itb.0!nntp.google.com!y42no195513ita.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sat, 16 Feb 2019 08:15:50 -0800 (PST)
In-Reply-To: <6225c504-8085-4753-bedd-0b1e5816d2a0@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=5.186.124.106;
 posting-account=evKiCQoAAAAlW4DRMPKd5GV_i1n41MVD
NNTP-Posting-Host: 5.186.124.106
References: <21f5f1ca-eabe-4ce6-9ee0-5d308d7676ff@googlegroups.com>
 <ly1s4fy0sb.fsf@pushface.org>
 <17375128-e016-4366-91ff-cd68f74689b3@googlegroups.com>
 <q3t181$9rh$1@franka.jacob-sparre.dk>
 <989ea6c7-b432-4214-beec-c0a50b76932c@googlegroups.com>
 <6225c504-8085-4753-bedd-0b1e5816d2a0@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <833c7ccd-8c20-42d1-9359-486d3fd7e3f2@googlegroups.com>
Subject: Re: GNAT proposal: note on implicit exceptions insertion
From: Jesper Quorning <jquorning@hotmail.com>
Injection-Date: Sat, 16 Feb 2019 16:15:50 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader01.eternal-september.org comp.lang.ada:55526
Date: 2019-02-16T08:15:50-08:00
List-Id: <comp.lang.ada>

On Saturday, February 16, 2019 at 5:30:16 AM UTC+1, Brad Moore wrote:
> One option would be to write the code you want checked in SPARK.

I am not against exceptions as such. A note would be an easy way to inspect the quality for my writings. And easy to implement for the compiler writer (as far as I can see).

        Jesper.