From: Simon Wright <simon@pushface.org>
Subject: Re: GNAT proposal: note on implicit exceptions insertion
Date: Sun, 10 Feb 2019 18:08:04 +0000
Date: 2019-02-10T18:08:04+00:00 [thread overview]
Message-ID: <ly1s4fy0sb.fsf@pushface.org> (raw)
In-Reply-To: 21f5f1ca-eabe-4ce6-9ee0-5d308d7676ff@googlegroups.com
Jesper Quorning <jesper.quorning@gmail.com> writes:
> What is Your opinion on a switch for gnatmake that notes the
> programmer when a implicit excepton is inserted. I think it should
> work somewhat like -gnaty just making a note.
>
> program.adb:99: (note) Implicit Constraint_Error infered
Don't you already get a warning if a CE is going to be raised at
runtime?
next prev parent reply other threads:[~2019-02-10 18:08 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-02-10 2:03 GNAT proposal: note on implicit exceptions insertion Jesper Quorning
2019-02-10 18:08 ` Simon Wright [this message]
2019-02-11 21:36 ` Jesper Quorning
2019-02-11 22:31 ` Anh Vo
2019-02-11 23:41 ` Randy Brukardt
2019-02-12 7:05 ` Jesper Quorning
2019-02-12 23:08 ` Randy Brukardt
2019-02-16 4:30 ` Brad Moore
2019-02-16 16:15 ` Jesper Quorning
2019-02-12 8:19 ` Dmitry A. Kazakov
2019-02-12 8:35 ` Jesper Quorning
2019-02-12 9:20 ` Dmitry A. Kazakov
2019-02-12 12:46 ` Jesper Quorning
2019-02-12 7:28 ` Mark Lorenzen
2019-02-12 8:34 ` Jesper Quorning
2019-02-12 22:31 ` Fedja Beader
2019-02-13 10:42 ` Simon Wright
2019-02-11 6:53 ` Mark Lorenzen
2019-02-11 8:13 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox