Improve data type management for type_id's

src/language/ASTNodeDataType.cpp

@@ -50,7 +50,7 @@ dataTypeName(const ASTNodeDataType& data_type)
     name = "type_name_id";
     break;
   case ASTNodeDataType::type_id_t:
-    name = "type_id";
+    name = data_type.typeName();
     break;
   case ASTNodeDataType::function_t:
     name = "function";
@@ -91,18 +91,22 @@ bool
 isNaturalConversion(const ASTNodeDataType& data_type, const ASTNodeDataType& target_data_type)
 {
   if (target_data_type == data_type) {
+    if (data_type != ASTNodeDataType::type_id_t) {
       return true;
+    } else {
+      return {data_type.typeName() == target_data_type.typeName()};
+    }
   } else if (target_data_type == ASTNodeDataType::bool_t) {
     return false;
   } else if (target_data_type == ASTNodeDataType::unsigned_int_t) {
-    return ((data_type == ASTNodeDataType::int_t) or (data_type == ASTNodeDataType::bool_t));
+    return {(data_type == ASTNodeDataType::int_t) or (data_type == ASTNodeDataType::bool_t)};
   } else if (target_data_type == ASTNodeDataType::int_t) {
-    return ((data_type == ASTNodeDataType::unsigned_int_t) or (data_type == ASTNodeDataType::bool_t));
+    return {(data_type == ASTNodeDataType::unsigned_int_t) or (data_type == ASTNodeDataType::bool_t)};
   } else if (target_data_type == ASTNodeDataType::double_t) {
-    return ((data_type == ASTNodeDataType::unsigned_int_t) or (data_type == ASTNodeDataType::int_t) or
-            (data_type == ASTNodeDataType::bool_t));
+    return {(data_type == ASTNodeDataType::unsigned_int_t) or (data_type == ASTNodeDataType::int_t) or
+            (data_type == ASTNodeDataType::bool_t)};
   } else if (target_data_type == ASTNodeDataType::string_t) {
-    return ((data_type >= ASTNodeDataType::bool_t) and (data_type < ASTNodeDataType::string_t));
+    return {(data_type >= ASTNodeDataType::bool_t) and (data_type < ASTNodeDataType::string_t)};
   }
   return false;
 }

src/language/ASTNodeDataType.hpp

@@ -30,7 +30,7 @@ class ASTNodeDataType
  private:
   DataType m_data_type;
   size_t m_dimension;
-  std::string_view m_type_name;
+  std::string m_type_name;
 
  public:
   size_t
@@ -39,7 +39,7 @@ class ASTNodeDataType
     return m_dimension;
   }
 
-  std::string_view
+  const std::string&
   typeName() const
   {
     return m_type_name;
@@ -53,11 +53,13 @@ class ASTNodeDataType
   ASTNodeDataType& operator=(const ASTNodeDataType&) = default;
   ASTNodeDataType& operator=(ASTNodeDataType&&) = default;
 
-  constexpr ASTNodeDataType(DataType data_type) : m_data_type{data_type}, m_dimension{1} {}
+  ASTNodeDataType(DataType data_type) : m_data_type{data_type}, m_dimension{1}, m_type_name{"unknown"} {}
 
-  ASTNodeDataType(DataType data_type, size_t dimension) : m_data_type{data_type}, m_dimension{dimension} {}
+  ASTNodeDataType(DataType data_type, size_t dimension)
+    : m_data_type{data_type}, m_dimension{dimension}, m_type_name{"unknown"}
+  {}
 
-  ASTNodeDataType(DataType data_type, std::string_view type_name)
+  ASTNodeDataType(DataType data_type, const std::string& type_name)
     : m_data_type{data_type}, m_dimension{1}, m_type_name{type_name}
   {}
 
@@ -79,15 +81,15 @@ bool isNaturalConversion(const ASTNodeDataType& data_type, const ASTNodeDataType
 // Traits ast_node_data_type_from_pod
 
 template <typename T>
-inline constexpr ASTNodeDataType ast_node_data_type_from_pod = ASTNodeDataType::undefined_t;
+inline ASTNodeDataType ast_node_data_type_from_pod = ASTNodeDataType::undefined_t;
 
 template <>
-inline constexpr ASTNodeDataType ast_node_data_type_from_pod<bool> = ASTNodeDataType::bool_t;
+inline ASTNodeDataType ast_node_data_type_from_pod<bool> = ASTNodeDataType::bool_t;
 template <>
-inline constexpr ASTNodeDataType ast_node_data_type_from_pod<int64_t> = ASTNodeDataType::int_t;
+inline ASTNodeDataType ast_node_data_type_from_pod<int64_t> = ASTNodeDataType::int_t;
 template <>
-inline constexpr ASTNodeDataType ast_node_data_type_from_pod<uint64_t> = ASTNodeDataType::unsigned_int_t;
+inline ASTNodeDataType ast_node_data_type_from_pod<uint64_t> = ASTNodeDataType::unsigned_int_t;
 template <>
-inline constexpr ASTNodeDataType ast_node_data_type_from_pod<double> = ASTNodeDataType::double_t;
+inline ASTNodeDataType ast_node_data_type_from_pod<double> = ASTNodeDataType::double_t;
 
 #endif   // AST_NODE_DATA_TYPE_HPP