Is GNAT white space sensitive?

Is GNAT white space sensitive?

[G.B.]

If the indentation of "begin" below is removed, GNAT's error
messages change. Do you see this, too? Can this be an effect
of some error correction heuristics, maybe?


procedure Start (Size: Positive) is
    procedure Initialize (M : in out Matrix);
    begin
    null;
end Start;

Re: Is GNAT white space sensitive?

[J-P. Rosen]

Le 10/04/2015 14:14, G.B. a écrit :
> If the indentation of "begin" below is removed, GNAT's error
> messages change. Do you see this, too? Can this be an effect
> of some error correction heuristics, maybe?
> 
> 
> procedure Start (Size: Positive) is
>    procedure Initialize (M : in out Matrix);
>    begin
>    null;
> end Start;
Yes. GNAT considers indentation in its error message strategy.

I guess that as spelled above, it will attache "begin" to initialize
(considering that ";" should be "is"), while if not indented, it will
attache "begin" to Start and complain that Initialize is a spec without
a body.

-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr

Re: Is GNAT white space sensitive?

[G.B.]

On 10.04.15 14:23, J-P. Rosen wrote:
> Yes. GNAT considers indentation in its error message strategy.

Thank you. One more useful idea to keep in mind.