On 8 Mar 2016, at 17:33, Stephen Leake <[email protected]> wrote:
> "-gnaty" does not enable comment checks. I can't find a statement of
> what it _does_ enable!
gnatmake -h:
-gnaty Enable default style checks (same as -gnaty3abcefhiklmnprst)
> I test with "-gnatyN3" which enables _only_ comment checks (see
> ada-mode/build/common.make, %.ali rule).
This means N - "disable all checks" 3 - check indentation. There are a couple
of comment-related checks, but they're only about the number of spaces after --.
The difficulty I saw -
begin
if True
or else (True
- -- comment
+ -- comment
and then True
and then True)
then
- doesn't happen interactively, only in the test.
_______________________________________________
Emacs-ada-mode mailing list
[email protected]
http://host114.hostmonster.com/mailman/listinfo/emacs-ada-mode_stephe-leake.org
