Merge remote-tracking branch 'origin/develop'

Author: rv-auditor

bindings/python/ast.cpp

@@ -362,7 +362,9 @@ void bind_ast(py::module_ &m) {
   py::class_<kore_string_pattern, std::shared_ptr<kore_string_pattern>>(
       ast, "StringPattern", pattern_base)
       .def(py::init(&kore_string_pattern::create))
-      .def_property_readonly("contents", &kore_string_pattern::get_contents);
+      .def_property_readonly("contents", [](kore_string_pattern &pattern) {
+        return py::bytes(pattern.get_contents());
+      });
 }
 
 void bind_parser(py::module_ &mod) {

test/python/test_patterns.py

@@ -36,7 +36,19 @@ def test_composite(self):
     def test_string(self):
         pat = kllvm.ast.StringPattern("abc")
         self.assertEqual(str(pat), '"abc"')
-        self.assertEqual(pat.contents, "abc")
+        self.assertEqual(pat.contents.decode('raw_unicode_escape'), "abc")
+        
+    def test_string_escape(self):
+        value_encoded = r'\t\n\r\f\\\"'.encode('raw_unicode_escape')
+        pat = kllvm.ast.StringPattern(value_encoded)
+        self.assertEqual(pat.contents, value_encoded)
+        self.assertEqual(value_encoded.decode('raw_unicode_escape'), r'\t\n\r\f\\\"')
+        
+    def test_string_unicode(self):
+        value_encoded = r'\u03b1'.encode('raw_unicode_escape')
+        pat = kllvm.ast.StringPattern(value_encoded)
+        self.assertEqual(pat.contents, value_encoded)
+        self.assertEqual(value_encoded.decode('raw_unicode_escape'), r'α')
 
     def test_variable(self):
         pat = kllvm.ast.VariablePattern("A", kllvm.ast.CompositeSort("S"))