Add char and char* to Value

src/artis-star/common/Value.hpp

@@ -181,6 +181,11 @@ public:
 
       operator()(v);
       return v ? "true" : "false";
+    } else if (is_type<char>()) {
+      char v;
+
+      operator()(v);
+      return std::to_string(v);
     } else if (is_type<double *>()) {
       double *v;
       std::string str;
@@ -221,6 +226,11 @@ public:
         str += std::to_string(v[i]) + std::string(" ");
       }
       return str;
+    } else if (is_type<char *>()) {
+      char *v;
+
+      operator()(v);
+      return std::string(v, _size / sizeof(char));
     } else {
       return "<unstringify>";
     }