You've already forked ada_language_server
mirror of
https://github.com/AdaCore/ada_language_server.git
synced 2026-02-12 12:45:50 -08:00
Update_Sources should not prevent the GPR2 project tree from loading
Errors in sources can be fixed while using ALS, so are not fatal errors. For eng/ide/ada_language_server#1454
This commit is contained in:
committed by
Elie Richa
parent
9e0856f493
commit
f9155401d3
@@ -370,16 +370,9 @@ package body LSP.Ada_Project_Loading is
|
||||
-- Special case for a Valid Project: check errors and then warnings
|
||||
if Project.Status = Valid_Project then
|
||||
if Project.GPR2_Messages.Has_Element
|
||||
(Information => False,
|
||||
Warning => False,
|
||||
Error => True,
|
||||
Lint => False)
|
||||
then
|
||||
Project.Status := Invalid_Project;
|
||||
elsif Project.GPR2_Messages.Has_Element
|
||||
(Information => False,
|
||||
Warning => True,
|
||||
Error => False,
|
||||
Error => True,
|
||||
Lint => False)
|
||||
then
|
||||
Project.Status := Valid_Project_With_Warning;
|
||||
|
||||
Reference in New Issue
Block a user