Alire.Crate_Configuration: fix, improve, and test value conflicts

 - TOML value comparison was incorrect (use Equals function now)
 - The "set by" info was incorrect
 - Error message now show the conflicting values

src/alire/alire-crate_configuration.adb

@@ -235,7 +235,8 @@ package body Alire.Crate_Configuration is
            (Profile_Maps.Key (Cursor),
             (Name => +Builtin_Build_Profile.Name,
              Value => TOML.Create_String
-               (To_Lower_Case (Profile_Maps.Element (Cursor)'Img))));
+               (To_Lower_Case (Profile_Maps.Element (Cursor)'Img))),
+            Set_By => "Build profile map");
       end loop;
 
    end Make_Build_Profile_Map;
@@ -792,15 +793,15 @@ package body Alire.Crate_Configuration is
    -- Set_Value --
    ---------------
 
-   procedure Set_Value (This  : in out Global_Config;
-                        Crate : Crate_Name;
-                        Val   : Assignment)
+   procedure Set_Value (This   : in out Global_Config;
+                        Crate  : Crate_Name;
+                        Val    : Assignment;
+                        Set_By : String)
    is
       Val_Name_Lower : constant String := To_Lower_Case (+Val.Name);
       Crate_Str : constant String := +Crate;
       Name : constant Unbounded_String := (+Crate_Str) & "." & Val_Name_Lower;
    begin
-
       --  TODO check if setting configuration of a dependency
 
       if not This.Var_Map.Contains (Name) then
@@ -819,14 +820,16 @@ package body Alire.Crate_Configuration is
                  "'" & " for type " & Image (Ref.Type_Def.Element));
          end if;
 
-         if Ref.Value /= No_TOML_Value and then Ref.Value /= Val.Value then
+         if Ref.Value.Is_Present and then not Ref.Value.Equals (Val.Value)
+         then
             Raise_Checked_Error
               ("Conflicting value for configuration variable '" &
-               (+Name) & "' from '" & (+Ref.Set_By) & "' and '"
-               & (+Crate) & "'.");
+               (+Name) & "' from '" & (+Ref.Set_By) & "' (" &
+                 Image (Ref.Value) & ") and '"
+               & Set_By & "' (" & Image (Val.Value) & ").");
          else
             Ref.Value  := Val.Value;
-            Ref.Set_By := +(+Crate);
+            Ref.Set_By := +(Set_By);
          end if;
       end;
    end Set_Value;
@@ -852,7 +855,8 @@ package body Alire.Crate_Configuration is
               Config_Value_Assignment (Prop);
          begin
             for Elt of List.List loop
-               This.Set_Value (To_Name (+List.Crate), Elt);
+               This.Set_Value (To_Name (+List.Crate), Elt,
+                               Set_By => As_String (Crate));
             end loop;
          end;
       end loop;

src/alire/alire-crate_configuration.ads

@@ -145,9 +145,10 @@ private
                                Root  : in out Roots.Root;
                                Crate : Crate_Name);
 
-   procedure Set_Value (This  : in out Global_Config;
-                        Crate : Crate_Name;
-                        Val   : Assignment);
+   procedure Set_Value (This   : in out Global_Config;
+                        Crate  : Crate_Name;
+                        Val    : Assignment;
+                        Set_By : String);
 
    procedure Load_Settings (This  : in out Global_Config;
                             Root  : in out Roots.Root;

src/alire/alire-properties-configurations.ads

@@ -101,6 +101,9 @@ package Alire.Properties.Configurations with Preelaborate is
    function Typedef_From_Enum return Config_Type_Definition;
 
    function String_Typedef (Name : String) return Config_Type_Definition;
+
+   function Image (Val : TOML.TOML_Value) return String;
+
 private
 
    type Config_Entry is new Properties.Property with record

testsuite/tests/crate_config/value_conflict/my_index/index/he/hello_world/hello_world-0.1.0.toml

@@ -0,0 +1,14 @@
+description = "\"Hello, world!\" demonstration project"
+name = "hello_world"
+version = "0.1.0"
+licenses = "GPL-3.0-only"
+maintainers = ["example@example.com"]
+maintainers-logins = ["mylogin"]
+executables=['main']
+
+[origin]
+url = "file:."
+
+[[depends-on]]
+libcrate_config_b = "*"
+libcrate_config_c = "*"

testsuite/tests/crate_config/value_conflict/my_index/index/index.toml

@@ -0,0 +1 @@
+version = "1.1"

testsuite/tests/crate_config/value_conflict/my_index/index/li/libcrate_config_a/libcrate_config_a-1.0.0.toml

@@ -0,0 +1,12 @@
+description = "crate config demonstration project"
+name = "libcrate_config_a"
+version = "1.0.0"
+licenses = "GPL-3.0-only"
+maintainers = ["example@example.com"]
+maintainers-logins = ["mylogin"]
+
+[origin]
+url = "file:."
+
+[configuration.variables]
+Var_Bool = {type="Boolean"}

testsuite/tests/crate_config/value_conflict/my_index/index/li/libcrate_config_b/libcrate_config_b-1.0.0.toml

@@ -0,0 +1,15 @@
+description = "crate config demonstration project"
+name = "libcrate_config_b"
+version = "1.0.0"
+licenses = "GPL-3.0-only"
+maintainers = ["example@example.com"]
+maintainers-logins = ["mylogin"]
+
+[[depends-on]]
+libcrate_config_a = "*"
+
+[origin]
+url = "file:."
+
+[configuration.values]
+libcrate_config_a.Var_Bool = true

testsuite/tests/crate_config/value_conflict/my_index/index/li/libcrate_config_c/libcrate_config_c-1.0.0.toml

@@ -0,0 +1,15 @@
+description = "crate config demonstration project"
+name = "libcrate_config_c"
+version = "1.0.0"
+licenses = "GPL-3.0-only"
+maintainers = ["example@example.com"]
+maintainers-logins = ["mylogin"]
+
+[[depends-on]]
+libcrate_config_a = "*"
+
+[origin]
+url = "file:."
+
+[configuration.values]
+libcrate_config_a.Var_Bool = false

testsuite/tests/crate_config/value_conflict/test.py

@@ -0,0 +1,24 @@
+"""
+Test that two crates setting the same config var to the different values is not
+ok.
+"""
+
+from drivers.alr import run_alr
+from drivers.asserts import assert_match
+
+import os
+import platform
+
+p = run_alr('get', 'hello_world', complain_on_error=False)
+assert p.status != 0, "alr should have errored"
+
+print(p.out)
+assert_match(".*\n"
+             "ERROR: Conflicting value for configuration variable"
+             " 'libcrate_config_a.var_bool'"
+             " from 'libcrate_config_b' \(true\)"
+             " and 'libcrate_config_c' \(false\).*"
+             ,
+             p.out)
+
+print('SUCCESS')

testsuite/tests/crate_config/value_conflict/test.yaml

@@ -0,0 +1,4 @@
+driver: python-script
+indexes:
+    my_index:
+        in_fixtures: false

testsuite/tests/crate_config/value_match/my_index/index/he/hello_world/hello_world-0.1.0.toml

@@ -0,0 +1,14 @@
+description = "\"Hello, world!\" demonstration project"
+name = "hello_world"
+version = "0.1.0"
+licenses = "GPL-3.0-only"
+maintainers = ["example@example.com"]
+maintainers-logins = ["mylogin"]
+executables=['main']
+
+[origin]
+url = "file:."
+
+[[depends-on]]
+libcrate_config_b = "*"
+libcrate_config_c = "*"

testsuite/tests/crate_config/value_match/my_index/index/index.toml

@@ -0,0 +1 @@
+version = "1.1"

testsuite/tests/crate_config/value_match/my_index/index/li/libcrate_config_a/libcrate_config_a-1.0.0.toml

@@ -0,0 +1,12 @@
+description = "crate config demonstration project"
+name = "libcrate_config_a"
+version = "1.0.0"
+licenses = "GPL-3.0-only"
+maintainers = ["example@example.com"]
+maintainers-logins = ["mylogin"]
+
+[origin]
+url = "file:."
+
+[configuration.variables]
+Var_Bool = {type="Boolean", default=true}

testsuite/tests/crate_config/value_match/my_index/index/li/libcrate_config_b/libcrate_config_b-1.0.0.toml

@@ -0,0 +1,15 @@
+description = "crate config demonstration project"
+name = "libcrate_config_b"
+version = "1.0.0"
+licenses = "GPL-3.0-only"
+maintainers = ["example@example.com"]
+maintainers-logins = ["mylogin"]
+
+[[depends-on]]
+libcrate_config_a = "*"
+
+[origin]
+url = "file:."
+
+[configuration.values]
+libcrate_config_a.Var_Bool = false

testsuite/tests/crate_config/value_match/my_index/index/li/libcrate_config_c/libcrate_config_c-1.0.0.toml

@@ -0,0 +1,15 @@
+description = "crate config demonstration project"
+name = "libcrate_config_c"
+version = "1.0.0"
+licenses = "GPL-3.0-only"
+maintainers = ["example@example.com"]
+maintainers-logins = ["mylogin"]
+
+[[depends-on]]
+libcrate_config_a = "*"
+
+[origin]
+url = "file:."
+
+[configuration.values]
+libcrate_config_a.Var_Bool = false

testsuite/tests/crate_config/value_match/test.py

@@ -0,0 +1,13 @@
+"""
+Test that two crates setting the same config var to the same value is ok.
+"""
+
+from drivers.alr import run_alr
+from drivers.asserts import assert_match
+
+import os
+import platform
+
+p = run_alr('get', 'hello_world')
+
+print('SUCCESS')

testsuite/tests/crate_config/value_match/test.yaml

@@ -0,0 +1,4 @@
+driver: python-script
+indexes:
+    my_index:
+        in_fixtures: false