AdaCore / AdaCore/ada_language_server

ALS should highlight known aspects to provide feedback to the user

Open
#1,170 0 comments 0 reactions 1 assignee View on GitHub

@AnthonyLeonardoGracio is already working on this.

Since Apr 29, 2026.

enhancement
Dominant language
Ada
Stars
304
Forks
70
No merged PRs in 30d

Description

Ada has many aspects that are introduced using the keyword with. For example, especially with SPARK, we may place many aspects on suprograms:

   procedure Parse_Formula
     (Formula : Unbounded_String;
      Algebra : out Algebra_Tree;
      Error   : in out Boolean;
      Message : in out Unbounded_String)
   with
     Pre  => Length (Formula) > 1,
     Post => (if not Error then Algebra /= null),
     Subprogram_Variant => (Decreases => Length (Formula));

Currently, these are not highlighted at all. It would be helpful to the user if known aspects received some subtle syntax highlight, so that they know they've used a known aspect.

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.