030: add tips, notes, and warnings

Author: leogermond

courses/fundamentals_of_ada/030_basic_types/01-introduction.rst

@@ -15,7 +15,8 @@ Strong Typing
 
    - **Check** of values and operations
    - Easy for a computer
-   - Developer can focus on **earlier** phase: requirement
+
+.. tip:: Developer can focus on **earlier** phase: requirement
 
 ----------------------------------------
 Strongly-Typed Vs Weakly-Typed Languages
@@ -198,7 +199,8 @@ Type Model Run-Time Costs
 * **Same performance** for identical programs
 
    - Run-time type checks can be disabled
-   - Compile-time check is *free*
+
+.. note:: Compile-time check is *free*
 
 .. container:: columns
 

courses/fundamentals_of_ada/030_basic_types/02-discrete_numeric_types.rst

@@ -51,9 +51,11 @@ Predefined Signed Integer Types
    - Guaranteed ranges: :ada:`Short_Integer` ``<=`` :ada:`Integer` ``<=`` :ada:`Long_Integer`
    - Ranges are all **implementation-defined**
 
-* Portability not guaranteed
+.. warning::
 
-   - But may be difficult to avoid
+    Portability not guaranteed
+        
+        * But may be difficult to avoid
 
 ---------------------------------
 Operators for Signed Integer Type
@@ -67,12 +69,13 @@ Operators for Signed Integer Type
    :multiplying operator: :ada:`* | / | mod | rem`
    :highest precedence operator: :ada:`** | abs`
 
-* *Note*: for exponentiation :ada:`**`
+.. note::
 
-   - Result will be a signed integer
-   - So power **must** be :ada:`Integer` ``>= 0``
+    Exponentiation :ada:`**` result will be a signed integer
 
-* Division by zero |rightarrow| :ada:`Constraint_Error`
+       - |rightarrow| power **must** be :ada:`Integer` ``>= 0``
+
+.. warning:: Division by zero |rightarrow| :ada:`Constraint_Error`
 
 ------------------------
 Signed Integer Overflows

courses/fundamentals_of_ada/030_basic_types/02-discrete_numeric_types_with_mod.rst

@@ -51,9 +51,11 @@ Predefined Signed Integer Types
    - Guaranteed ranges: :ada:`Short_Integer` ``<=`` :ada:`Integer` ``<=`` :ada:`Long_Integer`
    - Ranges are all **implementation-defined**
 
-* Portability not guaranteed
+.. warning::
 
-   - But may be difficult to avoid
+    Portability not guaranteed
+
+       - But may be difficult to avoid
 
 ---------------------------------
 Operators for Signed Integer Type
@@ -67,12 +69,13 @@ Operators for Signed Integer Type
    :multiplying operator: :ada:`* | / | mod | rem`
    :highest precedence operator: :ada:`** | abs`
 
-* *Note*: for exponentiation :ada:`**`
+.. note::
+
+    Exponentiation :ada:`**` result will be a signed integer
 
-   - Result will be a signed integer
-   - So power **must** be :ada:`Integer` ``>= 0``
+       - |rightarrow| power **must** be :ada:`Integer` ``>= 0``
 
-* Division by zero |rightarrow| :ada:`Constraint_Error`
+.. warning:: Division by zero |rightarrow| :ada:`Constraint_Error`
 
 ------------------------
 Signed Integer Overflows
@@ -119,7 +122,7 @@ Modular Types
 * **Unsigned** values
 * Adds operations and attributes
 
-    * Typically **bit-wise** manipulation
+.. note:: Typically **bit-wise** manipulation
 
 * Syntax
 

courses/fundamentals_of_ada/030_basic_types/07-real_types.rst

@@ -77,10 +77,12 @@ Predefined Floating Point Types
    - :ada:`Long_Float` ``>= 11`` digits
 
 * General-purpose
-* Best to **avoid** predefined types
 
-   - Loss of **portability**
-   - Easy to avoid
+.. tip::
+
+    It is best, and easy, to **avoid** predefined types
+
+       - Loss of **portability**
 
 -------------------------------
 Floating Point Type Operators
@@ -140,7 +142,8 @@ Numeric Types Conversion
 * Special rule: can always convert between numeric types
 
     - Explicitly
-    - :ada:`Float` |rightarrow| :ada:`Integer` causes **rounding**
+
+.. warning:: :ada:`Float` |rightarrow| :ada:`Integer` causes **rounding**
 
 .. code:: Ada
 

courses/fundamentals_of_ada/030_basic_types/10-subtypes.rst

@@ -16,7 +16,7 @@ Subtype
 
    - :ada:`Type_Name` is an existing :ada:`type` or :ada:`subtype`
 
-* If no constraint |rightarrow| type alias
+.. note:: If no constraint |rightarrow| type alias
 
 -----------------
 Subtype Example