Return list[i32] directly from type_to_str_python

Author: namannimmo10

src/libasr/asr_utils.h

@@ -203,7 +203,8 @@ static inline std::string type_to_str_python(const ASR::ttype_t *t)
             return "dict";
         }
         case ASR::ttypeType::List: {
-            return "list";
+            ASR::List_t *l = (ASR::List_t *)t;
+            return "list[" + type_to_str_python(l->m_type) + "]";
         }
         default : throw LFortranException("Not implemented");
     }

src/lpython/semantics/python_ast_to_asr.cpp

@@ -817,15 +817,15 @@ class CommonVisitor : public AST::BaseVisitor<Derived> {
         } else if (ASR::is_a<ASR::List_t>(*left_type) && ASR::is_a<ASR::List_t>(*right_type)
                    && op == ASR::binopType::Add) {
             dest_type = left_type;
+            std::string ltype = ASRUtils::type_to_str_python(left_type);
+            std::string rtype = ASRUtils::type_to_str_python(right_type);
             ASR::ttype_t *left_type2 = ASR::down_cast<ASR::List_t>(left_type)->m_type;
             ASR::ttype_t *right_type2 = ASR::down_cast<ASR::List_t>(right_type)->m_type;
-            std::string ltype = ASRUtils::type_to_str_python(left_type2);
-            std::string rtype = ASRUtils::type_to_str_python(right_type2);
             if (!ASRUtils::check_equal_type(left_type2, right_type2)) {
                 diag.add(diag::Diagnostic(
                     "Both the lists should be of the same type for concatenation.",
                     diag::Level::Error, diag::Stage::Semantic, {
-                        diag::Label("type mismatch (list[" + ltype + "] and list[" + rtype + "])",
+                        diag::Label("type mismatch ('" + ltype + "' and '" + rtype + "')",
                                 {left->base.loc, right->base.loc})
                     })
                 );

tests/reference/asr-test_annassign_type_mismatch-7dac7be.json

@@ -8,6 +8,6 @@
     "stdout": null,
     "stdout_hash": null,
     "stderr": "asr-test_annassign_type_mismatch-7dac7be.stderr",
-    "stderr_hash": "bfab695051d2c56840fc857f37657f57711798f14335572d597efef3",
+    "stderr_hash": "2e2230047083bb3431865114def04970e6c69c261d97bc7b05ecf365",
     "returncode": 2
 }

tests/reference/asr-test_annassign_type_mismatch-7dac7be.stderr

@@ -2,4 +2,4 @@ semantic error: Type mismatch in annotation-assignment, the types must be compat
  --> tests/errors/test_annassign_type_mismatch.py:4:5
   |
 4 |     x: i32[4] = [1, 2, 3, 4]
-  |     ^           ^^^^^^^^^^^^ type mismatch ('i32' and 'list')
+  |     ^           ^^^^^^^^^^^^ type mismatch ('i32' and 'list[i32]')

tests/reference/asr-test_list_concat-41d186f.json

@@ -8,6 +8,6 @@
     "stdout": null,
     "stdout_hash": null,
     "stderr": "asr-test_list_concat-41d186f.stderr",
-    "stderr_hash": "3d66fb0c1b47082ba625a9589b9023954e821cd7e6fdb760b4aae992",
+    "stderr_hash": "40b83e988e6e02beadaeeafbed4b29e65c985dfd596dd1d0f4a7bd3f",
     "returncode": 2
 }

tests/reference/asr-test_list_concat-41d186f.stderr

@@ -2,4 +2,4 @@ semantic error: Both the lists should be of the same type for concatenation.
  --> tests/errors/test_list_concat.py:8:3
   |
 8 |   a += b
-  |   ^    ^ type mismatch (list[i32] and list[f32])
+  |   ^    ^ type mismatch ('list[i32]' and 'list[f32]')