We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
The default indentation setting of the vscode plugin generates bad indentation warnings:
bad indentation
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.
Ada & Spark
The text was updated successfully, but these errors were encountered:
Hello,
Do you have GNAT style warnings enabled for your project?
Regards,
Sorry, something went wrong.
I am not sure. I used alr init to initialize the project, and used default setting from the extension.
alr init
Would it be possible to fill a reproducer (i.e: a .zip archive containing your Alire project)? That would be very helpful for us.
AnthonyLeonardoGracio
No branches or pull requests
The default indentation setting of the vscode plugin generates
bad indentation
warnings:I made sure that the formatter is provided by
Ada & Spark
.The text was updated successfully, but these errors were encountered: