Add a test for str in C interoperation

Author: certik

integration_tests/test_c_interop_02.py

@@ -24,6 +24,10 @@ def f_i16_i16(x: i16) -> i16:
 def f_i8_i8(x: i8) -> i8:
     pass
 
+@ccall
+def f_str_i32(x: str) -> i32:
+    pass
+
 def test_c_callbacks():
     xf64: f64
     xf64 = 3.3
@@ -49,4 +53,13 @@ def test_c_callbacks():
     xi8 = 3
     assert f_i8_i8(xi8) == 4
 
+    assert f_str_i32("Hello World!") == 12
+    assert f_str_i32("abc") == 3
+    assert f_str_i32("a") == 1
+    assert f_str_i32("") == 0
+    x: str = "Hello World!"
+    assert f_str_i32(x) == 12
+    x = "abc"
+    assert f_str_i32(x) == 3
+
 test_c_callbacks()

integration_tests/test_c_interop_02b.c

@@ -1,3 +1,5 @@
+#include <string.h>
+
 #include "test_c_interop_02b.h"
 
 double f_f64_f64(double x) {
@@ -23,3 +25,7 @@ int16_t f_i16_i16(int16_t x) {
 int8_t f_i8_i8(int8_t x) {
     return x+1;
 }
+
+int32_t f_str_i32(char *x) {
+    return strlen(x);
+}

integration_tests/test_c_interop_02b.h

@@ -10,6 +10,7 @@ int64_t f_i64_i64(int64_t x);
 int32_t f_i32_i32(int32_t x);
 int16_t f_i16_i16(int16_t x);
 int8_t  f_i8_i8  (int8_t  x);
+int32_t f_str_i32(char   *x);
 
 
 #endif // TEST_C_INTEROP_02B