[X] I updated to the latest spin2 version available
[X] I have restarted VSCode and the problem still exists
Version of Spin2 Language Server VScode Extension with the issue
oomfie my head
Is this a regression?
No or unsure. This never worked, or I haven't tried before.
Hardware, Operating System, Operating System version, VSCode version
The unusual
Description of problem
The second ALIGNL is flagged as P2 Spin Duplicate name [alignl], global variable/constant already exists, so it seems the keyword isn't recognized at all
and have you...
Version of Spin2 Language Server VScode Extension with the issue
oomfie my head
Is this a regression?
No or unsure. This never worked, or I haven't tried before.
Hardware, Operating System, Operating System version, VSCode version
The unusual
Description of problem
The second ALIGNL is flagged as
P2 Spin Duplicate name [alignl], global variable/constant already exists
, so it seems the keyword isn't recognized at allAdditional information
No response