tmp

integration_tests/aaaa1.py

@@ -0,0 +1,7 @@
+from tmp_pkg import A, hi
+
+def main():
+    hi()
+    a: A
+
+main()

integration_tests/tmp_pkg/__init__.py

@@ -0,0 +1 @@
+from .tmp import A, hi

integration_tests/tmp_pkg/tmp.py

@@ -0,0 +1,6 @@
+@dataclass
+class A:
+    x: i32
+
+def hi():
+    print("hi")

src/lpython/semantics/python_ast_to_asr.cpp

@@ -31,6 +31,8 @@
 #include <lpython/semantics/python_comptime_eval.h>
 #include <lpython/semantics/python_attribute_eval.h>
 #include <lpython/semantics/python_intrinsic_eval.h>
+#include <lpython/pickle.h>
+
 #include <lpython/parser/parser.h>
 #include <libasr/serialization.h>
 
@@ -6696,6 +6698,8 @@ Result<ASR::TranslationUnit_t*> python_ast_to_asr(Allocator &al, LocationManager
 #if defined(WITH_LFORTRAN_ASSERT)
         diag::Diagnostics diagnostics;
         if (!asr_verify(*tu, true, diagnostics)) {
+
+            std::cerr << LCompilers::LPython::pickle(*tu, true, true, false) << std::endl;
             std::cerr << diagnostics.render2();
             throw LCompilersException("Verify failed");
         };