This avoids the heavy syntax of block_statements just to declare
something locally.
-Link to the original RFC:
-https://github.com/AdaCore/ada-spark-rfcs/blob/master/prototyped/rfc-local-vars-without-block.md
For example:
.. code-block:: ada
X := X + Squared;
end if;
+Link to the original RFC:
+https://github.com/AdaCore/ada-spark-rfcs/blob/master/prototyped/rfc-local-vars-without-block.md
+
Conditional when constructs
---------------------------
This avoids the heavy syntax of block_statements just to declare
something locally.
-Link to the original RFC:
-@indicateurl{https://github.com/AdaCore/ada-spark-rfcs/blob/master/prototyped/rfc-local-vars-without-block.md}
For example:
@example
end if;
@end example
+Link to the original RFC:
+@indicateurl{https://github.com/AdaCore/ada-spark-rfcs/blob/master/prototyped/rfc-local-vars-without-block.md}
+
@node Conditional when constructs,Fixed lower bounds for array types and subtypes,Local Declarations Without Block,Curated Extensions
@anchor{gnat_rm/gnat_language_extensions conditional-when-constructs}@anchor{443}
@subsection Conditional when constructs