❌ About FreshRSS

Reading view

There are new articles available, click to refresh the page.

Ada VS Code extension 24.0.3

🎉 We have just published new vscode extension version 24.0.3 🎁 with experimental Mac OS M1 💻 native support! Don't hesitate sharing the feedback! Does it work for you? I hope

for Target use "aarch64-darwin"; 

isn't needed any more for native compiler (despite README says this). Also Linux ARM64 native support was added in 24.0.2, which wasn't published on Marketplace (but it's available on open vsx), so you can try it with remote mode is you have ARM64 server ⌨.

24.0.2 and 24.0.3 have many other improvements. Happy coding! 🔨

submitted by /u/max_rez
[link] [comments]

New release of vscode extension For Ada 23.0.20

We just released a new version of the VS Code extension for Ada with several new features and bug fixes:


  • Add onTypeFormatting request initial implementation. To try edit settings.json with:


 "[ada]": { "editor.formatOnType": true, }, "ada.onTypeFormatting.indentOnly": false, 
  • Fixes and improvements in syntax highlighting
    • Do not apply semantic tokens to unresolved identifiers
    • Highlight True and False like 'null
  • Fixes and improvements in hovers
  • Basic .gpr language support: document symbols and diagnostics
  • Support more architectures and platforms in VS Code
    • Change executable location to <arch>/<platform>/
    • Add arm64 as a supported architecture
    • Add initialization code that checks specific combinations of architectures and platforms (e.g. arm64-darwin is supported even though it actually uses the x64-darwin executable, will use x86_64 target by default however)
    • But no native ALS for arm64 is provided for now
  • Accept task bodies and packages for subprogram box command
  • Publish diagnostics when a refactoring fails.

Here is a screenshot of GPR editing:


submitted by /u/max_rez
[link] [comments]

VSCode extension for AArch64 Linux

I've built Ada VSCode extension for AArch64 Linux. It could be used with VSCode in the remote mode. So you can launch VSCode on the PC and connect over SSH to your AArch64 Linux board/host where you have an Ada project, GNAT and have very pleasant development environment. Here it is:



Any comments are welcome!


submitted by /u/max_rez
[link] [comments]

Ada Quality and Style update

The book Ada Quality and Style made a big impression on me when I started learning Ada. It made me look at the language in a different way and highlighted its strengths. Ever since, I've recommended it to anyone learning the language. To make the book more visible, I copied it from the Wiki-book to our new beautiful website ada-lang.io. However, it turned out that the 5th chapter on the Wikibook was not fully uploaded. I had to spend some time append the missing part of the chapter. The changes have not yet been approved on the Wikibook, but the full version is already available on ada-lang.io. Additionally, I made a more detailed breakdown of the chapters to make reading more convenient.


submitted by /u/max_rez
[link] [comments]

New release of vscode extension For Ada 23.0.15

VS Code Extension for Ada 23.0.15

In this release we improved Alire integration. Now you don't need the compiler to be in the PATH (only alr) when you are working with a crate, because Alire will configure it for you. Suppose you setup a crate for Rasperry Pico, if you open it in VS Code, then navigation should work out of the box. Also any Alire configuration is skipped altogether if the VSCode was launched with alr edit or alr exec.

We also change auto-detected tasks, so they are use alr exec -- prefix to run gprbuild, gprclean, gnatprove in the correct environment. You can also pass extra option using args property in the tasks.json file.

Renaming tool leaves found renaming problems in the diagnostics, so you can examine them in the "Problems view".

You can install newer version from the marketplace, OpenVSX or download it from GitHub release.

Happy codding!

submitted by /u/max_rez
[link] [comments]

New release of vscode extension For Ada 23.0.14

VS Code Extension for Ada 23.0.14

In this release:

Draft support for Alire crates

If there are alr, gprbuild and GNAT compiler in the PATH, then alire.toml in the root of workspace folder, then the extension will use Alire to configure the Ada Language Server, so navigation, tooltips, code refactoring should work out of the box without any manual configuration of the project file and scenario variables. The Ada: Reload project command calls Alire again to update setting after possible changes in crates.

But tasks like "ada: Build current project", "ada: Check current file", etc. don't take alire into account for now. To be fixed... It's possible to create a new shell task to launch alr build or alr exec gprbuild instead.

New refactoring tool Replace Type

Replaces a type in the intire project by another type provided by the user.



New refactoring tool Sort Dependencies

Sorts all with and use clauses and their associated pragmas.



See the complete list of available refactoring tools.

Don't hesitate to report any issues on GitHub.

submitted by /u/max_rez
[link] [comments]