Simon Wright <[email protected]> writes: > On 8 Mar 2016, at 12:04, Simon Wright <[email protected]> wrote: >> >> Aside from the change to ada_mode-conditional_expressions.adb > > Incidentally, the new result is > > K := > (case Bounded (K) is > when -1 => 42, > when 0 => 41, > when 1 => > (if J > 42 > -- comment indented as code (ada-indent-broken) > -- FIXME: conflicts with GNAT style check > then 44 > else 45)); > > Stephe, didn't you say this failed the style checks? I used -gnaty > with both FSF GCC 5.2.0 and GNAT GPL 2015, both accepted the code > without complaint.
"-gnaty" does not enable comment checks. I can't find a statement of what it _does_ enable! I test with "-gnatyN3" which enables _only_ comment checks (see ada-mode/build/common.make, %.ali rule). > Seems to me that just because GNAT _accepts_ an indentation, doesn't > mean we have to write code to _create_ that indentation. We don't have to create all of the allowed indentations, but we should not generate indentations that violate the check. (I'm not clear why I disabled the rest of the checks; we should not violate those either). -- -- Stephe _______________________________________________ Emacs-ada-mode mailing list [email protected] http://host114.hostmonster.com/mailman/listinfo/emacs-ada-mode_stephe-leake.org
