search

AdaCore / ada_language_server

Server implementing the Microsoft Language Protocol for Ada and SPARK
GNU General Public License v3.0
226 stars 54 forks source link

Bad indentation by default #1188

Open hw762 opened 3 months ago

hw762 commented 3 months ago

The default indentation setting of the vscode plugin generates bad indentation warnings:

with Interfaces.C.Strings;
package body rlcore is
    package cstr renames Interfaces.C.Strings;
    procedure InitWindow (width, height : Integer; title : String) is
    begin
        ffi.InitWindow (int (width), int (height), cstr.New_String (title));
    end InitWindow;
-- ...

I made sure that the formatter is provided by Ada & Spark.

AnthonyLeonardoGracio commented 3 months ago

Hello,

Do you have GNAT style warnings enabled for your project?

Regards,

hw762 commented 3 months ago

I am not sure. I used alr init to initialize the project, and used default setting from the extension.

AnthonyLeonardoGracio commented 3 months ago

Would it be possible to fill a reproducer (i.e: a .zip archive containing your Alire project)? That would be very helpful for us.

Regards,