Fix the type checking issue

Author: namannimmo10

tests/expr7.py

@@ -1,16 +1,15 @@
 def test_pow():
-    a: f64
+    a: i32
     a = pow(2, 2)
 
-
-def test_pow_1(a: i32, b: i32) -> f64:
-    res: f64
+def test_pow_1(a: i32, b: i32) -> i32:
+    res: i32
     res = pow(a, b)
     return res
 
 def main0():
     test_pow()
-    c: f64
+    c: i32
     c = test_pow_1(1, 2)
 
 main0()

tests/reference/asr-expr7-480ba2f.json

@@ -2,12 +2,12 @@
     "basename": "asr-expr7-480ba2f",
     "cmd": "lpython --show-asr --no-color {infile} -o {outfile}",
     "infile": "tests/expr7.py",
-    "infile_hash": "fae3ed29e0e4f0db9ba4c72e0bf99afa832859b9a4e832a8e8b2f495",
+    "infile_hash": "4a455e2279eb7dd269d81c1a257dea625b17b100d92e304e5ac34421",
     "outfile": null,
     "outfile_hash": null,
-    "stdout": null,
-    "stdout_hash": null,
-    "stderr": "asr-expr7-480ba2f.stderr",
-    "stderr_hash": "50ced47ea5891f2a40ad48b4bedbf04d2884693ba85db38405d6b0a3",
-    "returncode": 2
+    "stdout": "asr-expr7-480ba2f.stdout",
+    "stdout_hash": "18355b490c6f9e0360d341cfa2eab28d5b9e3efea8fbbbb05b508638",
+    "stderr": null,
+    "stderr_hash": null,
+    "returncode": 0
 }

tests/reference/asr-expr7-480ba2f.stdout

@@ -1 +1 @@
-(TranslationUnit (SymbolTable 1 {_lpython_main_program: (Subroutine (SymbolTable 37 {}) _lpython_main_program [] [(SubroutineCall 1 main0 () [] ())] Source Public Implementation () .false. .false.), lpython_builtin: (IntrinsicModule lpython_builtin), main0: (Subroutine (SymbolTable 4 {c: (Variable 4 c Local () () Default (Real 8 []) Source Public Required .false.)}) main0 [] [(SubroutineCall 1 test_pow () [] ()) (= (Var 4 c) (FunctionCall 1 test_pow_1 () [(ConstantInteger 1 (Integer 4 [])) (ConstantInteger 2 (Integer 4 []))] [] (Real 8 []) () ()) ())] Source Public Implementation () .false. .false.), main_program: (Program (SymbolTable 36 {}) main_program [] [(SubroutineCall 1 _lpython_main_program () [] ())]), test_pow: (Subroutine (SymbolTable 2 {a: (Variable 2 a Local () () Default (Real 8 []) Source Public Required .false.), pow: (ExternalSymbol 2 pow 6 pow lpython_builtin [] pow Private)}) test_pow [] [(= (Var 2 a) (FunctionCall 2 pow () [(ConstantInteger 2 (Integer 4 [])) (ConstantInteger 2 (Integer 4 []))] [] (Real 8 []) (ConstantInteger 4 (Integer 4 [])) ()) ())] Source Public Implementation () .false. .false.), test_pow_1: (Function (SymbolTable 3 {_lpython_return_variable: (Variable 3 _lpython_return_variable ReturnVar () () Default (Real 8 []) Source Public Required .false.), a: (Variable 3 a In () () Default (Integer 4 []) Source Public Required .false.), b: (Variable 3 b In () () Default (Integer 4 []) Source Public Required .false.), pow: (ExternalSymbol 3 pow 6 pow lpython_builtin [] pow Private), res: (Variable 3 res Local () () Default (Real 8 []) Source Public Required .false.)}) test_pow_1 [(Var 3 a) (Var 3 b)] [(= (Var 3 res) (FunctionCall 3 pow () [(Var 3 a) (Var 3 b)] [] (Real 8 []) () ()) ()) (= (Var 3 _lpython_return_variable) (Var 3 res) ()) (Return)] (Var 3 _lpython_return_variable) Source Public Implementation ())}) [])
+(TranslationUnit (SymbolTable 1 {_lpython_main_program: (Subroutine (SymbolTable 40 {}) _lpython_main_program [] [(SubroutineCall 1 main0 () [] ())] Source Public Implementation () .false. .false.), lpython_builtin: (IntrinsicModule lpython_builtin), main0: (Subroutine (SymbolTable 4 {c: (Variable 4 c Local () () Default (Integer 4 []) Source Public Required .false.)}) main0 [] [(SubroutineCall 1 test_pow () [] ()) (= (Var 4 c) (FunctionCall 1 test_pow_1 () [(ConstantInteger 1 (Integer 4 [])) (ConstantInteger 2 (Integer 4 []))] [] (Integer 4 []) () ()) ())] Source Public Implementation () .false. .false.), main_program: (Program (SymbolTable 39 {}) main_program [] [(SubroutineCall 1 _lpython_main_program () [] ())]), pow@__lpython_overloaded_0__pow: (ExternalSymbol 1 pow@__lpython_overloaded_0__pow 6 __lpython_overloaded_0__pow lpython_builtin [] __lpython_overloaded_0__pow Public), test_pow: (Subroutine (SymbolTable 2 {a: (Variable 2 a Local () () Default (Integer 4 []) Source Public Required .false.), pow: (ExternalSymbol 2 pow 6 pow lpython_builtin [] pow Private)}) test_pow [] [(= (Var 2 a) (FunctionCall 1 pow@__lpython_overloaded_0__pow 2 pow [(ConstantInteger 2 (Integer 4 [])) (ConstantInteger 2 (Integer 4 []))] [] (Integer 4 []) (ConstantInteger 4 (Integer 4 [])) ()) ())] Source Public Implementation () .false. .false.), test_pow_1: (Function (SymbolTable 3 {_lpython_return_variable: (Variable 3 _lpython_return_variable ReturnVar () () Default (Integer 4 []) Source Public Required .false.), a: (Variable 3 a In () () Default (Integer 4 []) Source Public Required .false.), b: (Variable 3 b In () () Default (Integer 4 []) Source Public Required .false.), pow: (ExternalSymbol 3 pow 6 pow lpython_builtin [] pow Private), res: (Variable 3 res Local () () Default (Integer 4 []) Source Public Required .false.)}) test_pow_1 [(Var 3 a) (Var 3 b)] [(= (Var 3 res) (FunctionCall 1 pow@__lpython_overloaded_0__pow 3 pow [(Var 3 a) (Var 3 b)] [] (Integer 4 []) () ()) ()) (= (Var 3 _lpython_return_variable) (Var 3 res) ()) (Return)] (Var 3 _lpython_return_variable) Source Public Implementation ())}) [])

tests/reference/ast-expr7-fe52776.json

@@ -2,11 +2,11 @@
     "basename": "ast-expr7-fe52776",
     "cmd": "lpython --show-ast --no-color {infile} -o {outfile}",
     "infile": "tests/expr7.py",
-    "infile_hash": "fae3ed29e0e4f0db9ba4c72e0bf99afa832859b9a4e832a8e8b2f495",
+    "infile_hash": "4a455e2279eb7dd269d81c1a257dea625b17b100d92e304e5ac34421",
     "outfile": null,
     "outfile_hash": null,
     "stdout": "ast-expr7-fe52776.stdout",
-    "stdout_hash": "c136c389b566b6a8316247fe5dd191e47fd2c593e49c6b50737471a4",
+    "stdout_hash": "eb95e2f66e29e53b80188f6fd239ae88c21ae560a388437514e44517",
     "stderr": null,
     "stderr_hash": null,
     "returncode": 0

tests/reference/ast-expr7-fe52776.stdout

@@ -1 +1 @@
-(Module [(FunctionDef test_pow ([] [] [] [] [] [] []) [(AnnAssign (Name a Store) (Name f64 Load) () 1) (Assign [(Name a Store)] (Call (Name pow Load) [(ConstantInt 2 ()) (ConstantInt 2 ())] []) ())] [] () ()) (FunctionDef test_pow_1 ([] [(a (Name i32 Load) ()) (b (Name i32 Load) ())] [] [] [] [] []) [(AnnAssign (Name res Store) (Name f64 Load) () 1) (Assign [(Name res Store)] (Call (Name pow Load) [(Name a Load) (Name b Load)] []) ()) (Return (Name res Load))] [] (Name f64 Load) ()) (FunctionDef main0 ([] [] [] [] [] [] []) [(Expr (Call (Name test_pow Load) [] [])) (AnnAssign (Name c Store) (Name f64 Load) () 1) (Assign [(Name c Store)] (Call (Name test_pow_1 Load) [(ConstantInt 1 ()) (ConstantInt 2 ())] []) ())] [] () ()) (Expr (Call (Name main0 Load) [] []))] [])
+(Module [(FunctionDef test_pow ([] [] [] [] [] [] []) [(AnnAssign (Name a Store) (Name i32 Load) () 1) (Assign [(Name a Store)] (Call (Name pow Load) [(ConstantInt 2 ()) (ConstantInt 2 ())] []) ())] [] () ()) (FunctionDef test_pow_1 ([] [(a (Name i32 Load) ()) (b (Name i32 Load) ())] [] [] [] [] []) [(AnnAssign (Name res Store) (Name i32 Load) () 1) (Assign [(Name res Store)] (Call (Name pow Load) [(Name a Load) (Name b Load)] []) ()) (Return (Name res Load))] [] (Name i32 Load) ()) (FunctionDef main0 ([] [] [] [] [] [] []) [(Expr (Call (Name test_pow Load) [] [])) (AnnAssign (Name c Store) (Name i32 Load) () 1) (Assign [(Name c Store)] (Call (Name test_pow_1 Load) [(ConstantInt 1 ()) (ConstantInt 2 ())] []) ())] [] () ()) (Expr (Call (Name main0 Load) [] []))] [])

tests/reference/cpp-expr7-529bd53.json

@@ -2,12 +2,12 @@
     "basename": "cpp-expr7-529bd53",
     "cmd": "lpython --no-color --show-cpp {infile}",
     "infile": "tests/expr7.py",
-    "infile_hash": "fae3ed29e0e4f0db9ba4c72e0bf99afa832859b9a4e832a8e8b2f495",
+    "infile_hash": "4a455e2279eb7dd269d81c1a257dea625b17b100d92e304e5ac34421",
     "outfile": null,
     "outfile_hash": null,
-    "stdout": null,
-    "stdout_hash": null,
-    "stderr": "cpp-expr7-529bd53.stderr",
-    "stderr_hash": "50ced47ea5891f2a40ad48b4bedbf04d2884693ba85db38405d6b0a3",
-    "returncode": 2
+    "stdout": "cpp-expr7-529bd53.stdout",
+    "stdout_hash": "8a8ded44e2568a07f90eefa92a606bb253483c6c9aed31507b6612a4",
+    "stderr": null,
+    "stderr_hash": null,
+    "returncode": 0
 }

tests/reference/cpp-expr7-529bd53.stdout

@@ -23,30 +23,30 @@ void _lpython_main_program()
 
 void main0()
 {
-    double c;
+    int c;
     test_pow();
     c = test_pow_1(1, 2);
 }
 
 void test_pow()
 {
-    double a;
-    a = pow(2, 2);
+    int a;
+    a = __lpython_overloaded_0__pow(2, 2);
 }
 
-float test_pow_1(int a, int b)
+int test_pow_1(int a, int b)
 {
-    double _lpython_return_variable;
-    double res;
-    res = pow(a, b);
+    int _lpython_return_variable;
+    int res;
+    res = __lpython_overloaded_0__pow(a, b);
     _lpython_return_variable = res;
     return _lpython_return_variable;
 }
 
-float pow(int x, int y)
+int __lpython_overloaded_0__pow(int x, int y)
 {
-    double _lpython_return_variable;
-    _lpython_return_variable = 1.000000*(float)(std::pow(x, y));
+    int _lpython_return_variable;
+    _lpython_return_variable = std::pow(x, y);
     return _lpython_return_variable;
 }