Fix support for string types

Author: Dekker1

CHANGELOG.rst

@@ -9,6 +9,14 @@ this project adheres to `Semantic Versioning <https://semver.org/>`_.
 Unreleased_
 ------------
 
+0.3.2_ - 2020-08-14
+-------------------
+
+Fixed
+^^^^^
+- Add full support for string input and output. The usage of strings would
+  previously incorrectly give a warning.
+
 0.3.1_ - 2020-07-21
 -------------------
 

src/minizinc/CLI/driver.py

@@ -41,6 +41,8 @@ def to_python_type(mzn_type: dict) -> Type:
         pytype = float
     elif basetype == "int":
         pytype = int
+    elif basetype == "string":
+        pytype = str
     else:
         warnings.warn(
             f"Unable to determine minizinc type `{basetype}` assuming integer type",

tests/test_types.py

@@ -82,3 +82,18 @@ def test_ranges(self):
         result = self.instance.solve()
         assert isinstance(result["s"], range)
         assert result["s"] == range(1, 4)
+
+
+class TestString(InstanceTestCase):
+    code = """
+    array[int] of string: names;
+    var index_set(names): x;
+    string: name ::output_only ::add_to_output = names[fix(x)];
+    """
+
+    def test_string(self):
+        names = ["Guido", "Peter"]
+        self.instance["names"] = names
+
+        result = self.instance.solve()
+        assert result.solution.name in names