Repository navigation

Show the definitions of the aliases a refinement error uses - #489

Merged

CatarinaGamboa merged 3 commits into

mainfrom

fix/295-alias-expansion

Nov 5, 2026

Merged

Show the definitions of the aliases a refinement error uses#489
CatarinaGamboa merged 3 commits into
mainfrom
fix/295-alias-expansion

Commits on Nov 5, 2026
- Show the definitions of the aliases a refinement error uses
  
  CatarinaGamboa
  and
  claude
  committed
  98c26fd
- Keep whitespace inside string literals of an alias definition
  
  CatarinaGamboa
  and
  claude
  committed
  782d206
- Tell apart alias invocations that display the same
  
  CatarinaGamboa
  and
  claude
  committed
  5731d46