Closed pjljvandelaar closed 1 year ago
Dear Swagger-Ada developers,
As you can seen identical behaviour within the then and else branch of an if statements becomes clearer by using the if-expression.
Greetings, Pierre
Problem detected and solved by Rejuvenation-Ada crate
Your code inspired me to see if I can add a pattern to simplify code like: (if $S_Cond then $S_X & $S_Tail else $S_X); even further!
Dear Swagger-Ada developers,
As you can seen identical behaviour within the then and else branch of an if statements becomes clearer by using the if-expression.
Greetings, Pierre
Problem detected and solved by Rejuvenation-Ada crate
Your code inspired me to see if I can add a pattern to simplify code like: (if $S_Cond then $S_X & $S_Tail else $S_X); even further!