From: Eryndlia Mavourneen <eryndlia@gmail.com>
Subject: Re: GNAT GPL 2016 Editor Bugs?
Date: Tue, 7 Jun 2016 17:33:10 -0700 (PDT)
Date: 2016-06-07T17:33:10-07:00 [thread overview]
Message-ID: <0c1bf32b-13e9-486f-9acc-96fa371c0b90@googlegroups.com> (raw)
In-Reply-To: <lyshwpnrrg.fsf@pushface.org>
On Tuesday, June 7, 2016 at 6:49:07 AM UTC-5, Simon Wright wrote:
> Eryndlia Mavourneen <eryndlia@gmail.com> writes:
>
> > 1)
> > type A is new B with
> > record
> > C : D;
> > end record;
>
> I tried this with just
>
> package Eryndlia is
> type A is new B with
> record
> C : D;
> end record;
> type A is new B with
> record
> C : D;
> end record;
> end Eryndlia;
>
> and that is the layout I got from GPS (after putting everything to the
> left margin).
>
> Likewise with Emacs ada-mode.
Ahhhh! Never be in a hurry when posting. LOL My apology, Simon.
Apparently, the error is a combination of the above record extension PLUS a comment inserted before "record" -- the start column of the comment is immaterial.
So the indentation problem is caused by THIS:
type A is new B with
-- This is how I made the comment.
record
C : D;
end record;
THIS record definition does NOT cause the problem:
type A is
-- This is how I made the comment.
record
C : D;
end record;
-- Eryndlia [KK1T active on WinLink]
next prev parent reply other threads:[~2016-06-08 0:33 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-06-06 22:12 GNAT GPL 2016 Editor Bugs? Eryndlia Mavourneen
2016-06-07 11:49 ` Simon Wright
2016-06-08 0:33 ` Eryndlia Mavourneen [this message]
2016-06-08 7:14 ` Simon Wright
2016-06-08 13:36 ` gautier_niouzes
2016-06-08 16:29 ` Egil H H
2016-06-08 16:38 ` Dmitry A. Kazakov
2016-06-08 17:02 ` Jeffrey R. Carter
2016-06-08 16:54 ` Jeffrey R. Carter
2016-06-09 17:47 ` gautier_niouzes
2016-06-09 18:43 ` Jeffrey R. Carter
2016-06-09 15:51 ` brbarkstrom
2016-06-10 8:41 ` Alejandro R. Mosteo
2016-06-14 14:25 ` gautier_niouzes
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox