From: Alain De Vos <devosalain71@gmail.com>
Subject: how to be informed where to put spaces
Date: Sat, 9 Nov 2019 11:08:57 -0800 (PST)
Date: 2019-11-09T11:08:57-08:00 [thread overview]
Message-ID: <deafc9e4-8608-4c65-b9ea-c9313d721072@googlegroups.com> (raw)
Can I give an option into a gpr file,
or on the gnatmake commandline ,
or on ada gnatlink gnatbind,
in order to be informed where to put spaces on the correct place in my .adb file.
Something like lint , or beautifier.
For instance,
-- hallo
----------------> put two spaces between -- and hallo
next reply other threads:[~2019-11-09 19:08 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-11-09 19:08 Alain De Vos [this message]
2019-11-09 19:25 ` how to be informed where to put spaces gautier_niouzes
2019-11-09 19:35 ` Alain De Vos
2019-11-09 19:54 ` 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