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:a37:9d0:: with SMTP id 199mr3247241qkj.356.1573326537594; Sat, 09 Nov 2019 11:08:57 -0800 (PST) X-Received: by 2002:a05:6808:d:: with SMTP id u13mr11227171oic.155.1573326537252; Sat, 09 Nov 2019 11:08:57 -0800 (PST) Path: eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.uzoreto.com!feeder.erje.net!2.eu.feeder.erje.net!newsfeed.xs4all.nl!newsfeed7.news.xs4all.nl!85.12.16.68.MISMATCH!peer01.ams1!peer.ams1.xlned.com!news.xlned.com!peer01.am4!peer.am4.highwinds-media.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!j16no4459097qtl.0!news-out.google.com!g53ni10qtg.0!nntp.google.com!j16no4459088qtl.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Sat, 9 Nov 2019 11:08:57 -0800 (PST) Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=2a02:a03f:e3e9:4d00:1260:4bff:fe89:deb2; posting-account=kTRirAoAAACnF_wtAOSamxYBSVvmJuCa NNTP-Posting-Host: 2a02:a03f:e3e9:4d00:1260:4bff:fe89:deb2 User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: how to be informed where to put spaces From: Alain De Vos Injection-Date: Sat, 09 Nov 2019 19:08:57 +0000 Content-Type: text/plain; charset="UTF-8" X-Received-Bytes: 1507 X-Received-Body-CRC: 4130073904 Xref: reader01.eternal-september.org comp.lang.ada:57533 Date: 2019-11-09T11:08:57-08:00 List-Id: 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