search

AdaCore / ada_language_server

Server implementing the Microsoft Language Protocol for Ada and SPARK
GNU General Public License v3.0
226 stars 54 forks source link

Sparks Abstract_State #1178

Open kevlar700 opened 5 months ago

kevlar700 commented 5 months ago

I haven't tried this with the latest ALS version. However, the latest Gnat Studio CRs Ada language server fails unless line 25 is commented out in this file.

https://github.com/kevlar700/elogs/blob/main/src/elogs.ads

  Abstract_State => State,
reznikmm commented 5 months ago

@kevlar700 What error do you have? I've tried to open elogs with gnatstudio-cr-20230501 AppImage and don't see any errors in ALS logs. What action do you perform?

kevlar700 commented 5 months ago

@kevlar700 What error do you have? I've tried to open elogs with gnatstudio-cr-20230501 AppImage and don't see any errors in ALS logs. What action do you perform?

Sorry for the delay and I'm not sure what I was thinking in providing so little details. It is Code=>Format file that fails.