Simplify Boolean expression
Hi Alire Developers,
Why is
alire/src/alire/alire-solver.adb
Line 1131 in da12ff4
not simplified?
State.Target.Is_Empty or else State.Target.Is_Value is dead code that only confuses the reader / maintainer.
You can use this diff to fix it:
--- a/src/alire/alire-solver.adb
+++ b/src/alire/alire-solver.adb
@@ -1128,8 +1128,7 @@ package body Alire.Solver is
end Store_Finished;
begin
- if True or else State.Target.Is_Empty or else State.Target.Is_Value
- then
+ if True then
Trace.Debug ("SOLVER: EXPAND");
Print_Debug (State);
end if;Problem detected and solved using Rejuvenation-Ada crate.
alire-project / alire
Command-line tool from the Alire project and supporting library
285
Contributors get 50% of received funds after fees
How does funding with Polar work?
1
Pay now to fund the work behind this issue.
2
Get updates on progress being made.
3
Maintainer is rewarded once the issue is completed.
FAQ
Backer
You're funding impactful open source efforts
Contributor
You want to contribute to this effort
Maintainer
You want to get funding like this too