Dict tests

Author: swamishiju

integration_tests/CMakeLists.txt

@@ -573,16 +573,16 @@ RUN(NAME test_list_concat    LABELS cpython llvm llvm_jit c NOFAST)
 RUN(NAME test_dict_01        LABELS cpython llvm llvm_jit c) # post sync
 RUN(NAME test_dict_02        LABELS cpython llvm llvm_jit c NOFAST)
 # RUN(NAME test_dict_03        LABELS cpython llvm llvm_jit NOFAST) 
-# RUN(NAME test_dict_04        LABELS cpython llvm llvm_jit NOFAST)
+RUN(NAME test_dict_04        LABELS cpython llvm llvm_jit NOFAST)
 RUN(NAME test_dict_05        LABELS cpython llvm llvm_jit c)
 RUN(NAME test_dict_06        LABELS cpython llvm llvm_jit c)
 # RUN(NAME test_dict_07        LABELS cpython llvm llvm_jit c)
 RUN(NAME test_dict_08        LABELS cpython llvm llvm_jit c)
 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 llvm_jit) # renable c # post sync
-# RUN(NAME test_dict_13        LABELS cpython llvm llvm_jit c)
+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_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)

libasr

@@ -6768,6 +6768,19 @@ class BodyVisitor : public CommonVisitor<BodyVisitor> {
             values.push_back(al, value);
         }
         raise_error_when_dict_key_is_float_or_complex(key_type, x.base.base.loc);
+
+        if (ASRUtils::is_character(*key_type) && !ASRUtils::is_allocatable(key_type))
+            key_type = ASRUtils::TYPE(ASR::make_Allocatable_t(al, x.base.base.loc, 
+                        ASRUtils::TYPE(ASR::make_String_t(al, x.base.base.loc, 1, nullptr, 
+                                    ASR::string_length_kindType::DeferredLength, 
+                                    ASR::string_physical_typeType::DescriptorString))));
+
+        if (ASRUtils::is_character(*value_type) && !ASRUtils::is_allocatable(value_type))
+            value_type = ASRUtils::TYPE(ASR::make_Allocatable_t(al, x.base.base.loc, 
+                        ASRUtils::TYPE(ASR::make_String_t(al, x.base.base.loc, 1, nullptr, 
+                                    ASR::string_length_kindType::DeferredLength, 
+                                    ASR::string_physical_typeType::DescriptorString))));
+
         ASR::ttype_t* type = ASRUtils::TYPE(ASR::make_Dict_t(al, x.base.base.loc,
                                              key_type, value_type));
         tmp = ASR::make_DictConstant_t(al, x.base.base.loc, keys.p, keys.size(),