Updated tests

swamishiju · swamishiju · commit b62c596f71a5 · 2025-08-19T15:03:24.000+05:30
diff --git a/integration_tests/CMakeLists.txt b/integration_tests/CMakeLists.txt
@@ -582,7 +582,7 @@ RUN(NAME test_dict_09        LABELS cpython llvm llvm_jit c)
 # RUN(NAME test_dict_10        LABELS cpython llvm llvm_jit) # renable c # post sync
 # RUN(NAME test_dict_11        LABELS cpython llvm llvm_jit c) # post sync
 RUN(NAME test_dict_12        LABELS cpython llvm) # renable c, jit
-RUN(NAME test_dict_13        LABELS cpython llvm c) # renable jit
+RUN(NAME test_dict_13        LABELS cpython llvm) # renable c, jit
 # RUN(NAME test_dict_bool      LABELS cpython llvm llvm_jit) # post sync
 # RUN(NAME test_dict_increment LABELS cpython llvm llvm_jit) # post sync
 # RUN(NAME test_dict_keys_values LABELS cpython llvm llvm_jit)
diff --git a/src/bin/lpython.cpp b/src/bin/lpython.cpp
@@ -659,7 +659,7 @@ int get_errors (const std::string &infile,
         std::vector<LCompilers::error_highlight> diag_lists;
         LCompilers::error_highlight h;
         for (auto &d : diagnostics.diagnostics) {
-            if (compiler_options.no_warnings && d.level != LCompilers::diag::Level::Error) {
+            if (!compiler_options.show_warnings && d.level != LCompilers::diag::Level::Error) {
                 continue;
             }
             h.message = d.message;
diff --git a/src/lpython/semantics/python_ast_to_asr.cpp b/src/lpython/semantics/python_ast_to_asr.cpp
@@ -2900,7 +2900,7 @@ class CommonVisitor : public AST::BaseVisitor<StructType> {
                 if (ASR::is_a<ASR::StructType_t>(*type)) {
                     //`s` must be initialized with an instance of S
                     throw  SemanticError("`" + var_name + "` must be initialized with an instance of " +
-                            ASRUtils::type_to_str_python_expr(type, nullptr), x.base.base.loc);
+                            ASRUtils::type_to_str_python_expr(type, assign_asr_target), x.base.base.loc);
                 }
             }
             if (tmp && ASR::is_a<ASR::expr_t>(*tmp)) {
@@ -5511,7 +5511,7 @@ class BodyVisitor : public CommonVisitor<BodyVisitor> {
             if (v->m_intent == ASR::intentType::In) {
                 std::string msg = "Hint: create a new local variable with a different name";
                 if (ASRUtils::is_aggregate_type(v->m_type)) {
-                    msg = "Use InOut[" + ASRUtils::type_to_str_python_expr(v->m_type, nullptr) + "] to allow assignment";
+                    msg = "Use InOut[" + ASRUtils::type_to_str_python_symbol(v->m_type, v->m_type_declaration) + "] to allow assignment";
                 }
                 diag.add(diag::Diagnostic(
                     "Assignment to an input function parameter `"
diff --git a/tests/reference/asr-dictionary1-a105a36.json b/tests/reference/asr-dictionary1-a105a36.json
@@ -6,7 +6,7 @@
     "outfile": null,
     "outfile_hash": null,
     "stdout": "asr-dictionary1-a105a36.stdout",
-    "stdout_hash": "3bfc95f517560d352cad35658bfb515ca32197c2fad9bd9866fc3138",
+    "stdout_hash": "59f88e41b95e6a766048de2e8e914ccfc82d5c247c42ee011529b600",
     "stderr": null,
     "stderr_hash": null,
     "returncode": 0
diff --git a/tests/reference/asr-dictionary1-a105a36.stdout b/tests/reference/asr-dictionary1-a105a36.stdout
@@ -227,7 +227,9 @@
                                                 (IntegerConstant -2 (Integer 4) Decimal)
                                             )]
                                             (Dict
-                                                (String 1 (IntegerConstant 1 (Integer 4) Decimal) ExpressionLength DescriptorString)
+                                                (Allocatable
+                                                    (String 1 () DeferredLength DescriptorString)
+                                                )
                                                 (Integer 4)
                                             )
                                         )
@@ -389,7 +391,9 @@
                                                 (IntegerConstant -2 (Integer 4) Decimal)
                                             )]
                                             (Dict
-                                                (String 1 (IntegerConstant 1 (Integer 4) Decimal) ExpressionLength DescriptorString)
+                                                (Allocatable
+                                                    (String 1 () DeferredLength DescriptorString)
+                                                )
                                                 (Integer 4)
                                             )
                                         )
@@ -518,7 +522,9 @@
                                                 (IntegerConstant -2 (Integer 4) Decimal)
                                             )]
                                             (Dict
-                                                (String 1 (IntegerConstant 1 (Integer 4) Decimal) ExpressionLength DescriptorString)
+                                                (Allocatable
+                                                    (String 1 () DeferredLength DescriptorString)
+                                                )
                                                 (Integer 4)
                                             )
                                         )
@@ -642,7 +648,9 @@
                                             [(IntegerConstant 1 (Integer 4) Decimal)
                                             (IntegerConstant 2 (Integer 4) Decimal)]
                                             (Dict
-                                                (String 1 (IntegerConstant 1 (Integer 4) Decimal) ExpressionLength DescriptorString)
+                                                (Allocatable
+                                                    (String 1 () DeferredLength DescriptorString)
+                                                )
                                                 (Integer 4)
                                             )
                                         )
diff --git a/tests/reference/asr-func_07-4a8c076.json b/tests/reference/asr-func_07-4a8c076.json
@@ -8,6 +8,6 @@
     "stdout": null,
     "stdout_hash": null,
     "stderr": "asr-func_07-4a8c076.stderr",
-    "stderr_hash": "85464139a429cd047e5b1532b256935643e929412c3632b8b9d10228",
+    "stderr_hash": "f318e29b96f7730e9ed5fd89ae43e851f22bf50a5c3b2bde415e24e2",
     "returncode": 2
 }
diff --git a/tests/reference/asr-func_07-4a8c076.stderr b/tests/reference/asr-func_07-4a8c076.stderr
@@ -2,4 +2,4 @@ semantic error: Assignment to an input function parameter `this` is not allowed
   --> tests/errors/func_07.py:12:5
    |
 12 |     this._len = len(this._buf)
-   |     ^^^^ Use InOut[derived type] to allow assignment
+   |     ^^^^ Use InOut[StringIO] to allow assignment
diff --git a/tests/reference/asr-structs_02-f95782c.json b/tests/reference/asr-structs_02-f95782c.json
@@ -8,6 +8,6 @@
     "stdout": null,
     "stdout_hash": null,
     "stderr": "asr-structs_02-f95782c.stderr",
-    "stderr_hash": "3db272632a14e032f99113f657971836ce7c7ce11f70c44b7582baec",
+    "stderr_hash": "e77891a7762fcd30afe98c91c7ffeae4342b646a0d44eebd2cb08f1b",
     "returncode": 2
 }
diff --git a/tests/reference/asr-structs_02-f95782c.stderr b/tests/reference/asr-structs_02-f95782c.stderr
@@ -1,4 +1,4 @@
-semantic error: `s` must be initialized with an instance of derived type
+semantic error: `s` must be initialized with an instance of S
  --> tests/errors/structs_02.py:8:5
   |
 8 |     s: S
diff --git a/tests/reference/asr-test_dict4-39489fa.json b/tests/reference/asr-test_dict4-39489fa.json
@@ -8,6 +8,6 @@
     "stdout": null,
     "stdout_hash": null,
     "stderr": "asr-test_dict4-39489fa.stderr",
-    "stderr_hash": "fee0e93265feaf634ae62eded08ec63f6c37530369217731b552de61",
+    "stderr_hash": "568dff6be48680b191c4fe69e3fddb6bd66dad88645820b11b489f4d",
     "returncode": 2
 }
diff --git a/tests/reference/asr-test_dict4-39489fa.stderr b/tests/reference/asr-test_dict4-39489fa.stderr
@@ -2,4 +2,4 @@ semantic error: Type mismatch in annotation-assignment, the types must be compat
  --> tests/errors/test_dict4.py:2:5
   |
 2 |     d: dict[i32, i32] = {1: "a", 2: "b"}
-  |     ^                   ^^^^^^^^^^^^^^^^ type mismatch ('dict[i32, i32]' and 'dict[i32, str]')
+  |     ^                   ^^^^^^^^^^^^^^^^ type mismatch ('dict[i32, i32]' and 'dict[i32, Allocatable[str]]')
diff --git a/tests/reference/asr-test_dict5-c436d37.json b/tests/reference/asr-test_dict5-c436d37.json
@@ -8,6 +8,6 @@
     "stdout": null,
     "stdout_hash": null,
     "stderr": "asr-test_dict5-c436d37.stderr",
-    "stderr_hash": "85918b86a904812b9f151ec636dac3c770446a33ebac2f5910591ea7",
+    "stderr_hash": "d05b6a704207c710995f2ba205424a557f9edd5160a6eb86e83efd28",
     "returncode": 2
 }
diff --git a/tests/reference/asr-test_dict5-c436d37.stderr b/tests/reference/asr-test_dict5-c436d37.stderr
@@ -2,4 +2,4 @@ semantic error: Type mismatch in assignment, the types must be compatible
  --> tests/errors/test_dict5.py:3:5
   |
 3 |     d = {1: "a", 2: "b"}
-  |     ^   ^^^^^^^^^^^^^^^^ type mismatch ('dict[i32, i32]' and 'dict[i32, str]')
+  |     ^   ^^^^^^^^^^^^^^^^ type mismatch ('dict[i32, i32]' and 'dict[i32, Allocatable[str]]')
diff --git a/tests/reference/asr-test_dict_key5-87496d1.json b/tests/reference/asr-test_dict_key5-87496d1.json
@@ -8,6 +8,6 @@
     "stdout": null,
     "stdout_hash": null,
     "stderr": "asr-test_dict_key5-87496d1.stderr",
-    "stderr_hash": "d71c69aec3d3fc57c14f31fd31a9f142e7017d24facdc946bb959433",
+    "stderr_hash": "553454208928c82e207673c22f7a5e6b3c9eb86eac0785c08c5c85fb",
     "returncode": 2
 }
diff --git a/tests/reference/asr-test_dict_key5-87496d1.stderr b/tests/reference/asr-test_dict_key5-87496d1.stderr
@@ -1,5 +1,5 @@
-semantic error: Unhashable type: 'dict[i32, str]'
+semantic error: Unhashable type: 'dict[i32, Allocatable[str]]'
  --> tests/errors/test_dict_key5.py:2:12
   |
 2 |     print({{1: "a", 2: "b"}: "first", {3: "c", 4: "d"}: "second"})
-  |            ^^^^^^^^^^^^^^^^ Mutable type 'dict[i32, str]' cannot become a key in dict. Hint: Use an immutable type for key.
+  |            ^^^^^^^^^^^^^^^^ Mutable type 'dict[i32, Allocatable[str]]' cannot become a key in dict. Hint: Use an immutable type for key.
diff --git a/tests/reference/asr-test_operator_01-0f232bf.json b/tests/reference/asr-test_operator_01-0f232bf.json
@@ -8,6 +8,6 @@
     "stdout": null,
     "stdout_hash": null,
     "stderr": "asr-test_operator_01-0f232bf.stderr",
-    "stderr_hash": "753b12cfe4313636360ed650c3f92527fc6e89a0d1669489f2792aed",
+    "stderr_hash": "d291f8cc0413a1d9a1f4450493d17790ceec00cad791cdc4d1283161",
     "returncode": 2
 }
diff --git a/tests/reference/asr-test_operator_01-0f232bf.stderr b/tests/reference/asr-test_operator_01-0f232bf.stderr
@@ -1,4 +1,4 @@
-semantic error: Unary operator '-' not supported for type derived type
+semantic error: Unary operator '-' not supported for type A
  --> tests/errors/test_operator_01.py:9:11
   |
 9 |     print(-a)
diff --git a/tests/reference/asr-test_set_object5-4bd1044.json b/tests/reference/asr-test_set_object5-4bd1044.json
@@ -8,6 +8,6 @@
     "stdout": null,
     "stdout_hash": null,
     "stderr": "asr-test_set_object5-4bd1044.stderr",
-    "stderr_hash": "143a83a8ac406d2530470d8e60f00b8ddcd1faabfad43e52a16f0584",
+    "stderr_hash": "f75886125a221a4f7cad9a3072a562c6646e83475e112f7cbd63eccc",
     "returncode": 2
 }
diff --git a/tests/reference/asr-test_set_object5-4bd1044.stderr b/tests/reference/asr-test_set_object5-4bd1044.stderr
@@ -1,5 +1,5 @@
-semantic error: Unhashable type: 'dict[i32, str]'
+semantic error: Unhashable type: 'dict[i32, Allocatable[str]]'
  --> tests/errors/test_set_object5.py:2:12
   |
 2 |     print({{1: "a", 2: "b"}, {3: "c", 4: "d"}})
-  |            ^^^^^^^^^^^^^^^^ Mutable type 'dict[i32, str]' cannot be stored in a set.
+  |            ^^^^^^^^^^^^^^^^ Mutable type 'dict[i32, Allocatable[str]]' cannot be stored in a set.

Original file line number	Diff line number	Diff line change
`@@ -659,7 +659,7 @@ int get_errors (const std::string &infile,`
`659`	`659`	`std::vector<LCompilers::error_highlight> diag_lists;`
`660`	`660`	`LCompilers::error_highlight h;`
`661`	`661`	`for (auto &d : diagnostics.diagnostics) {`
`662`		`- if (compiler_options.no_warnings && d.level != LCompilers::diag::Level::Error) {`
	`662`	`+ if (!compiler_options.show_warnings && d.level != LCompilers::diag::Level::Error) {`
`663`	`663`	`continue;`
`664`	`664`	`}`
`665`	`665`	`h.message = d.message;`
Original file line number	Diff line number	Diff line change
`@@ -2900,7 +2900,7 @@ class CommonVisitor : public AST::BaseVisitor<StructType> {`
`2900`	`2900`	`if (ASR::is_a<ASR::StructType_t>(*type)) {`
`2901`	`2901`	//`s` must be initialized with an instance of S
`2902`	`2902`	throw SemanticError("`" + var_name + "` must be initialized with an instance of " +
`2903`		`- ASRUtils::type_to_str_python_expr(type, nullptr), x.base.base.loc);`
	`2903`	`+ ASRUtils::type_to_str_python_expr(type, assign_asr_target), x.base.base.loc);`
`2904`	`2904`	`}`
`2905`	`2905`	`}`
`2906`	`2906`	`if (tmp && ASR::is_a<ASR::expr_t>(*tmp)) {`
`@@ -5511,7 +5511,7 @@ class BodyVisitor : public CommonVisitor<BodyVisitor> {`
`5511`	`5511`	`if (v->m_intent == ASR::intentType::In) {`
`5512`	`5512`	`std::string msg = "Hint: create a new local variable with a different name";`
`5513`	`5513`	`if (ASRUtils::is_aggregate_type(v->m_type)) {`
`5514`		`- msg = "Use InOut[" + ASRUtils::type_to_str_python_expr(v->m_type, nullptr) + "] to allow assignment";`
	`5514`	`+ msg = "Use InOut[" + ASRUtils::type_to_str_python_symbol(v->m_type, v->m_type_declaration) + "] to allow assignment";`
`5515`	`5515`	`}`
`5516`	`5516`	`diag.add(diag::Diagnostic(`
`5517`	`5517`	"Assignment to an input function parameter `"
Original file line number	Diff line number	Diff line change
`@@ -227,7 +227,9 @@`
`227`	`227`	`(IntegerConstant -2 (Integer 4) Decimal)`
`228`	`228`	`)]`
`229`	`229`	`(Dict`
`230`		`- (String 1 (IntegerConstant 1 (Integer 4) Decimal) ExpressionLength DescriptorString)`
	`230`	`+ (Allocatable`
	`231`	`+ (String 1 () DeferredLength DescriptorString)`
	`232`	`+ )`
`231`	`233`	`(Integer 4)`
`232`	`234`	`)`
`233`	`235`	`)`
`@@ -389,7 +391,9 @@`
`389`	`391`	`(IntegerConstant -2 (Integer 4) Decimal)`
`390`	`392`	`)]`
`391`	`393`	`(Dict`
`392`		`- (String 1 (IntegerConstant 1 (Integer 4) Decimal) ExpressionLength DescriptorString)`
	`394`	`+ (Allocatable`
	`395`	`+ (String 1 () DeferredLength DescriptorString)`
	`396`	`+ )`
`393`	`397`	`(Integer 4)`
`394`	`398`	`)`
`395`	`399`	`)`
`@@ -518,7 +522,9 @@`
`518`	`522`	`(IntegerConstant -2 (Integer 4) Decimal)`
`519`	`523`	`)]`
`520`	`524`	`(Dict`
`521`		`- (String 1 (IntegerConstant 1 (Integer 4) Decimal) ExpressionLength DescriptorString)`
	`525`	`+ (Allocatable`
	`526`	`+ (String 1 () DeferredLength DescriptorString)`
	`527`	`+ )`
`522`	`528`	`(Integer 4)`
`523`	`529`	`)`
`524`	`530`	`)`
`@@ -642,7 +648,9 @@`
`642`	`648`	`[(IntegerConstant 1 (Integer 4) Decimal)`
`643`	`649`	`(IntegerConstant 2 (Integer 4) Decimal)]`
`644`	`650`	`(Dict`
`645`		`- (String 1 (IntegerConstant 1 (Integer 4) Decimal) ExpressionLength DescriptorString)`
	`651`	`+ (Allocatable`
	`652`	`+ (String 1 () DeferredLength DescriptorString)`
	`653`	`+ )`
`646`	`654`	`(Integer 4)`
`647`	`655`	`)`
`648`	`656`	`)`
Original file line number	Diff line number	Diff line change
`@@ -8,6 +8,6 @@`
`8`	`8`	`"stdout": null,`
`9`	`9`	`"stdout_hash": null,`
`10`	`10`	`"stderr": "asr-func_07-4a8c076.stderr",`
`11`		`- "stderr_hash": "85464139a429cd047e5b1532b256935643e929412c3632b8b9d10228",`
	`11`	`+ "stderr_hash": "f318e29b96f7730e9ed5fd89ae43e851f22bf50a5c3b2bde415e24e2",`
`12`	`12`	`"returncode": 2`
`13`	`13`	`}`
Original file line number	Diff line number	Diff line change
@@ -2,4 +2,4 @@ semantic error: Assignment to an input function parameter `this` is not allowed
`2`	`2`	`--> tests/errors/func_07.py:12:5`
`3`	`3`	`\|`
`4`	`4`	`12 \| this._len = len(this._buf)`
`5`		`- \| ^^^^ Use InOut[derived type] to allow assignment`
	`5`	`+ \| ^^^^ Use InOut[StringIO] to allow assignment`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		-semantic error: `s` must be initialized with an instance of derived type
	`1`	+semantic error: `s` must be initialized with an instance of S
`2`	`2`	`--> tests/errors/structs_02.py:8:5`
`3`	`3`	`\|`
`4`	`4`	`8 \| s: S`