Merge branch 'slides/178-add_non_integer_to_lkql_lab' into 'master'

Add non-integer to LKQL lab example

See merge request feng/training/material!219

Author: frank-at-adacore

courses/gnatsas/labs/check_040_lkql/default.gpr

@@ -1,5 +1,4 @@
 project Default is
     for Source_Dirs use ("src");
     for Object_Dir use "obj";
-    for Main use ("main.adb");
 end Default;

courses/gnatsas/labs/check_040_lkql/src/test_pkg.adb

@@ -18,4 +18,7 @@ package body Test_Pkg is
    function Supplier6 (X : Derived_T) return Derived_T is
      (X);
 
+   function Supplier7 (X : Non_Integer_T) return Non_Integer_T is
+     (X);
+
 end Test_Pkg;

courses/gnatsas/labs/check_040_lkql/src/test_pkg.ads

@@ -24,4 +24,7 @@ package Test_Pkg is
    type Generic_Instantiaion_T is range 0 .. 100;
    package IO is new Ada.Text_IO.Integer_IO (Generic_Instantiaion_T);
 
+   type Non_Integer_T is digits 6 range 0.0 .. 100.0;
+   function Supplier7 (X : Non_Integer_T) return Non_Integer_T;
+
 end Test_Pkg;