comp.lang.ada
 help / color / mirror / Atom feed
From: Jesper Quorning <jesper.quorning@gmail.com>
Subject: GNAT proposal: note on implicit exceptions insertion
Date: Sat, 9 Feb 2019 18:03:05 -0800 (PST)
Date: 2019-02-09T18:03:05-08:00	[thread overview]
Message-ID: <21f5f1ca-eabe-4ce6-9ee0-5d308d7676ff@googlegroups.com> (raw)


Hi Group

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


/Jesper


             reply	other threads:[~2019-02-10  2:03 UTC|newest]

Thread overview: 19+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-02-10  2:03 Jesper Quorning [this message]
2019-02-10 18:08 ` GNAT proposal: note on implicit exceptions insertion Simon Wright
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