yashsain
diff --git a/‎src/libasr/ASR.asdl‎
Lines changed: 7 additions & 1 deletion b/‎src/libasr/ASR.asdl‎
Lines changed: 7 additions & 1 deletion
diff --git a/‎src/lpython/semantics/python_ast_to_asr.cpp‎
Lines changed: 3 additions & 1 deletion b/‎src/lpython/semantics/python_ast_to_asr.cpp‎
Lines changed: 3 additions & 1 deletion
@@ -227,16 +227,22 @@ expr
     | LogicalConstant(bool value, ttype type)
 
     | ListConstant(expr* args, ttype type)
+    | ListLen(expr arg, ttype type)
     | ListConcat(expr left, expr right, ttype type, expr? value)
 
     | ArrayConstant(expr* args, ttype type)
+
     | SetConstant(expr* elements, ttype type)
+    | SetLen(expr arg, ttype type)
+
     | TupleConstant(expr* elements, ttype type)
+    | TupleLen(expr arg, ttype type)
 
     | StringConstant(string s, ttype type)
-    | StringLen(expr arg)
+    | StringLen(expr arg, ttype type)
 
     | DictConstant(expr* keys, expr* values, ttype type)
+    | DictLen(expr arg, ttype type)
     | Var(symbol v)
     | ArrayRef(symbol v, array_index* args, ttype type, expr? value)
     | DerivedRef(expr v, symbol m, ttype type, expr? value)
 
@@ -2685,8 +2685,10 @@ class BodyVisitor : public CommonVisitor<BodyVisitor> {
                                         const Location &loc) {
         ASR::expr_t *arg = args[0].m_value;
         ASR::ttype_t *type = ASRUtils::expr_type(arg);
+        ASR::ttype_t *to_type = ASRUtils::TYPE(ASR::make_Integer_t(al, loc,
+                                    4, nullptr, 0));
         if (ASRUtils::is_character(*type)) {
-            return (ASR::asr_t *)ASR::down_cast<ASR::expr_t>(ASR::make_StringLen_t(al, loc, arg));
+            return (ASR::asr_t *)ASR::down_cast<ASR::expr_t>(ASR::make_StringLen_t(al, loc, arg, to_type));
         }
         return nullptr;
     }
Original file line number	Diff line number	Diff line change
`@@ -2685,8 +2685,10 @@ class BodyVisitor : public CommonVisitor<BodyVisitor> {`
`2685`	`2685`	`const Location &loc) {`
`2686`	`2686`	`ASR::expr_t *arg = args[0].m_value;`
`2687`	`2687`	`ASR::ttype_t *type = ASRUtils::expr_type(arg);`
	`2688`	`+ ASR::ttype_t *to_type = ASRUtils::TYPE(ASR::make_Integer_t(al, loc,`
	`2689`	`+ 4, nullptr, 0));`
`2688`	`2690`	`if (ASRUtils::is_character(*type)) {`
`2689`		`- return (ASR::asr_t *)ASR::down_cast<ASR::expr_t>(ASR::make_StringLen_t(al, loc, arg));`
	`2691`	`+ return (ASR::asr_t *)ASR::down_cast<ASR::expr_t>(ASR::make_StringLen_t(al, loc, arg, to_type));`
`2690`	`2692`	`}`
`2691`	`2693`	`return nullptr;`
`2692`	`2694`	`}`