print fixes

Author: swamishiju

integration_tests/CMakeLists.txt

@@ -459,10 +459,10 @@ RUN(NAME exit_02b    FAIL    LABELS cpython llvm llvm_jit c wasm wasm_x86 wasm_x
 RUN(NAME exit_02c    FAIL    LABELS cpython llvm llvm_jit c)
 
 # Test all four backends
-# RUN(NAME print_01            LABELS cpython llvm llvm_jit wasm) # renable c, wasm not yet supports sep and end keywords # post sync
+RUN(NAME print_01            LABELS cpython llvm llvm_jit wasm) # renable c, wasm not yet supports sep and end keywords
 RUN(NAME print_03            LABELS x86 c wasm wasm_x86 wasm_x64) # simple test case specifically for x86, wasm_x86 and wasm_x64
 RUN(NAME print_04            LABELS cpython llvm llvm_jit c)
-# RUN(NAME print_06            LABELS cpython llvm llvm_jit) # renable c # post sync
+RUN(NAME print_06            LABELS cpython llvm llvm_jit) # renable c 
 RUN(NAME print_05            LABELS cpython llvm llvm_jit c wasm wasm_x64)
 RUN(NAME print_float         LABELS cpython llvm llvm_jit c wasm wasm_x64)
 RUN(NAME print_list_tuple_01    LABELS cpython llvm llvm_jit NOFAST) # renable c
@@ -510,7 +510,7 @@ RUN(NAME expr_02u            LABELS cpython llvm llvm_jit c NOFAST)
 
 RUN(NAME list_01             LABELS cpython llvm llvm_jit)
 
-# RUN(NAME loop_01             LABELS cpython llvm llvm_jit) # renable c # post sync
+RUN(NAME loop_01             LABELS cpython llvm llvm_jit) # renable c 
 RUN(NAME loop_02             LABELS cpython llvm llvm_jit c wasm wasm_x86 wasm_x64)
 RUN(NAME loop_03             LABELS cpython llvm llvm_jit c wasm wasm_x64)
 RUN(NAME loop_04             LABELS cpython llvm llvm_jit c)
@@ -552,7 +552,7 @@ RUN(NAME test_list_index     LABELS cpython llvm llvm_jit)
 RUN(NAME test_list_index2    LABELS cpython llvm llvm_jit)
 # RUN(NAME test_list_repeat    LABELS cpython llvm llvm_jit c NOFAST)
 # RUN(NAME test_list_repeat2   LABELS cpython llvm llvm_jit c NOFAST)
-# RUN(NAME test_list_reverse   LABELS cpython llvm llvm_jit) # post sync
+RUN(NAME test_list_reverse   LABELS cpython llvm llvm_jit) 
 # RUN(NAME test_list_pop       LABELS cpython llvm llvm_jit NOFAST) # TODO: Remove NOFAST from here.
 # RUN(NAME test_list_pop2       LABELS cpython llvm llvm_jit NOFAST) # TODO: Remove NOFAST from here.
 RUN(NAME test_list_pop3      LABELS cpython llvm llvm_jit)
@@ -583,13 +583,13 @@ RUN(NAME test_dict_10        LABELS cpython llvm llvm_jit) # renable c
 RUN(NAME test_dict_11        LABELS cpython llvm llvm_jit c) 
 RUN(NAME test_dict_12        LABELS cpython llvm llvm_jit) # renable c
 # RUN(NAME test_dict_13        LABELS cpython llvm llvm_jit c)
-# RUN(NAME test_dict_bool      LABELS cpython llvm llvm_jit) # post sync
+RUN(NAME test_dict_bool      LABELS cpython llvm llvm_jit)
 # RUN(NAME test_dict_increment LABELS cpython llvm llvm_jit) 
 # RUN(NAME test_dict_keys_values LABELS cpython llvm llvm_jit)
 # RUN(NAME test_dict_nested1   LABELS cpython llvm llvm_jit)
 # RUN(NAME test_dict_clear     LABELS cpython llvm)
 RUN(NAME test_set_len        LABELS cpython llvm llvm_jit) 
-# RUN(NAME test_set_add        LABELS cpython llvm llvm_jit) # post sync
+RUN(NAME test_set_add        LABELS cpython llvm llvm_jit) 
 # RUN(NAME test_set_remove     LABELS cpython llvm llvm_jit)
 # RUN(NAME test_set_discard     LABELS cpython llvm llvm_jit)
 # RUN(NAME test_set_from_list     LABELS cpython llvm llvm_jit)
@@ -599,9 +599,9 @@ RUN(NAME test_global_set     LABELS cpython llvm llvm_jit)
 RUN(NAME test_for_loop       LABELS cpython llvm llvm_jit c)
 RUN(NAME modules_01          LABELS cpython llvm llvm_jit c wasm wasm_x86 wasm_x64)
 RUN(NAME modules_02          LABELS cpython llvm llvm_jit c wasm wasm_x86 wasm_x64)
-# RUN(NAME test_import_01      LABELS cpython llvm llvm_jit) # renable c # post sync
+RUN(NAME test_import_01      LABELS cpython llvm llvm_jit) # renable c 
 RUN(NAME test_import_02      LABELS cpython llvm llvm_jit c)
-# RUN(NAME test_import_03      LABELS cpython llvm llvm_jit) # renable c # post sync
+RUN(NAME test_import_03      LABELS cpython llvm llvm_jit) # renable c 
 RUN(NAME test_import_04      LABELS cpython llvm llvm_jit c)
 RUN(NAME test_import_05      LABELS cpython llvm llvm_jit c wasm wasm_x86 wasm_x64)
 RUN(NAME test_import_06      LABELS cpython llvm llvm_jit)
@@ -628,8 +628,8 @@ RUN(NAME elemental_12        LABELS cpython llvm llvm_jit c NOFAST)
 RUN(NAME elemental_13        LABELS cpython llvm llvm_jit c NOFAST)
 RUN(NAME test_random         LABELS cpython llvm llvm_jit NOFAST)
 RUN(NAME test_random_02         LABELS cpython llvm llvm_jit NOFAST)
-# RUN(NAME test_os             LABELS cpython llvm llvm_jit NOFAST) # renable c # post sync
-# RUN(NAME test_builtin        LABELS cpython llvm llvm_jit) # renable c # post sync
+# RUN(NAME test_os             LABELS cpython llvm llvm_jit NOFAST) # renable c  # post sync
+# RUN(NAME test_builtin        LABELS cpython llvm llvm_jit) # renable c  # post sync 
 RUN(NAME test_builtin_abs    LABELS cpython llvm llvm_jit c)
 # RUN(NAME test_builtin_bool   LABELS cpython llvm llvm_jit c)
 # RUN(NAME test_builtin_pow    LABELS cpython llvm llvm_jit c EXTRA_ARGS --no-warnings)
@@ -669,7 +669,7 @@ RUN(NAME test_c_interop_03   LABELS cpython llvm c
 # RUN(NAME bindpy_04           LABELS cpython c_py EXTRA_ARGS --link-numpy NOFAST COPY_TO_BIN bindpy_04_module.py)
 # RUN(NAME bindpy_05           LABELS llvm_py c_py EXTRA_ARGS --enable-cpython COPY_TO_BIN bindpy_05_module.py REQ_PY_VER 3.10)
 # RUN(NAME bindpy_06           LABELS cpython llvm_py EXTRA_ARGS --enable-cpython NOFAST COPY_TO_BIN bindpy_06_module.py REQ_PY_VER 3.10)
-# RUN(NAME test_generics_01    LABELS cpython llvm llvm_jit NOFAST) # renable c # post sync
+RUN(NAME test_generics_01    LABELS cpython llvm llvm_jit NOFAST) # renable c 
 RUN(NAME test_cmath          LABELS cpython llvm llvm_jit c NOFAST)
 RUN(NAME test_complex_01        LABELS cpython llvm llvm_jit c wasm wasm_x64)
 RUN(NAME test_complex_02        LABELS cpython llvm llvm_jit c)
@@ -774,7 +774,7 @@ RUN(NAME union_04            IMPORT_PATH ..
 # RUN(NAME test_str_to_int     LABELS cpython llvm llvm_jit c)
 # RUN(NAME test_platform       LABELS cpython llvm llvm_jit) # renable c
 RUN(NAME test_vars_01        LABELS cpython llvm llvm_jit)
-# RUN(NAME test_version        LABELS cpython llvm llvm_jit) # post sync
+RUN(NAME test_version        LABELS cpython llvm llvm_jit) 
 RUN(NAME logical_binop1      LABELS cpython llvm llvm_jit)
 # RUN(NAME test_logical_compare           LABELS cpython llvm llvm_jit) # TODO: Add C backend after fixing issue #2708
 # RUN(NAME test_logical_assignment        LABELS cpython llvm llvm_jit) # TODO: Add C backend after fixing issue #2708
@@ -794,18 +794,18 @@ RUN(NAME test_bit_length     LABELS cpython) # renable c, FIXME: This test fails
 # RUN(NAME test_pkg_lnn_02        LABELS cpython llvm llvm_jit NOFAST)
 # RUN(NAME test_pkg_lpconvexhull  LABELS cpython llvm llvm_jit c NOFAST)
 
-# RUN(NAME generics_01         LABELS cpython llvm llvm_jit) # renable c # post sync
+RUN(NAME generics_01         LABELS cpython llvm llvm_jit) # renable c
 # RUN(NAME generics_02         LABELS cpython llvm llvm_jit c)
 RUN(NAME generics_array_01   LABELS cpython llvm llvm_jit c)
 RUN(NAME generics_array_02   LABELS cpython llvm llvm_jit c)
 RUN(NAME generics_array_03   LABELS cpython llvm llvm_jit c)
-# RUN(NAME generics_list_01    LABELS cpython llvm llvm_jit) # renable c # post sync
+RUN(NAME generics_list_01    LABELS cpython llvm llvm_jit) # renable c 
 RUN(NAME test_statistics_01  LABELS cpython llvm llvm_jit NOFAST)
 # RUN(NAME test_statistics_02  LABELS cpython llvm llvm_jit NOFAST REQ_PY_VER 3.10)
 # RUN(NAME test_attributes     LABELS cpython llvm llvm_jit)
 # RUN(NAME test_str_attributes LABELS cpython llvm llvm_jit c)
 # RUN(NAME kwargs_01           LABELS cpython llvm llvm_jit NOFAST) # renable c
-# RUN(NAME def_func_01         LABELS cpython llvm llvm_jit) # renable c # post sync
+RUN(NAME def_func_01         LABELS cpython llvm llvm_jit) # renable c 
 
 RUN(NAME func_inline_01 LABELS llvm llvm_jit c wasm)
 RUN(NAME func_inline_02 LABELS cpython llvm llvm_jit c)
@@ -838,7 +838,7 @@ RUN(NAME callback_03       LABELS cpython llvm llvm_jit c)
 
 RUN(NAME lambda_01         LABELS cpython llvm llvm_jit)
 
-# RUN(NAME c_mangling        LABELS cpython llvm llvm_jit) # renable c # post sync
+RUN(NAME c_mangling        LABELS cpython llvm llvm_jit) # renable c 
 # RUN(NAME class_01          LABELS cpython llvm llvm_jit)
 # RUN(NAME class_02          LABELS cpython llvm llvm_jit)
 # RUN(NAME class_03          LABELS cpython llvm llvm_jit)

libasr

@@ -890,7 +890,7 @@ class CommonVisitor : public AST::BaseVisitor<StructType> {
             type = ASRUtils::make_Array_t_util(al, loc, type, dims.p, dims.size(), abi, is_argument);
         } else if (var_annotation == "str") {
             type = ASRUtils::TYPE(ASR::make_String_t(al, loc, 1, 
-                                  ASRUtils::EXPR(ASR::make_IntegerConstant_t(al, loc, -2, 
+                                  ASRUtils::EXPR(ASR::make_IntegerConstant_t(al, loc, 0, 
                                             ASRUtils::TYPE(ASR::make_Integer_t(al, loc, 8)))),
                                   false, false, ASR::string_physical_typeType::PointerString));
             type = ASRUtils::make_Array_t_util(al, loc, type, dims.p, dims.size(), abi, is_argument);
@@ -2652,6 +2652,11 @@ class CommonVisitor : public AST::BaseVisitor<StructType> {
             v_variable->n_dependencies = variable_dependencies_vec.size();
             v_variable->m_symbolic_value = init_expr;
             v_variable->m_value = value;
+
+            if ( value && ASR::is_a<ASR::StringConstant_t>(*value) && ASR::is_a<ASR::String_t>(*type) ) {
+                ASR::String_t* str_type = ASR::down_cast<ASR::String_t>(v_variable->m_type);
+                ((ASR::IntegerConstant_t *)str_type->m_len)->m_n = std::string(ASR::down_cast<ASR::StringConstant_t>(value)->m_s).size();
+            }
         }
 
         bool is_runtime_expression = !ASRUtils::is_value_constant(value);

src/lpython/semantics/python_ast_to_asr.cpp

@@ -6,6 +6,7 @@
 #include <libasr/string_utils.h>
 #include <lpython/utils.h>
 #include <lpython/semantics/semantic_exception.h>
+#include <libasr/asr_utils.h>
 
 namespace LCompilers::LPython {
 
@@ -324,7 +325,7 @@ struct IntrinsicNodeHandler {
             arg_type = ASRUtils::expr_type(arg);
         }
         ASR::expr_t* a_len = ASRUtils::EXPR(ASR::make_IntegerConstant_t(al,
-                                loc, -2, ASRUtils::TYPE(ASR::make_Integer_t(al, loc, 8))));
+                                loc, 0, ASRUtils::TYPE(ASR::make_Integer_t(al, loc, 8))));
         ASR::ttype_t *str_type = ASRUtils::TYPE(ASR::make_String_t(al, loc, 1, a_len, false, false,
                                                  ASR::string_physical_typeType::PointerString));
         if (!arg) {