I am not sure why the tests fail. It passes when manually executing the file.

I guess you need to update the references.

I guess you need to update the references.

I have not written any new tests @anutosh491. These are the old ones which are failing.

I made changes to the count method. It says the test related to the method failed, but when I execute it manually on my PC, it passes .i.e prints True for all the asserts.

@kmr-srbh what specific test-case or example that fails with LPython (of current main branch) does this PR fix/support?

PS: Can you point to the issue that this PR fixes?

@kmr-srbh what specific test-case or example that fails with LPython (of current main branch) does this PR fix/support?

PS: Can you point to the issue that this PR fixes?

Please see #2567 (comment)

Why don't you create an issue first and list all the bugs related to List and List operations that you discovered? Share an example for each failure. Then in this PR specify exactly which bugs you have fixed (or are targeting to fix).

That would help highlight the contributions made and also make it simpler to review. Thanks!

That would help highlight the contributions made and also make it simpler to review. Thanks!

I am opening an issue. I will keep it in mind for future bugs. Thank you!

Please mark this PR ready for review once it is ready.

I am adding the tests @Thirumalai-Shaktivel and @Shaikh-Ubaid. In the meantime, I request you to review this. In accordance to the simplification advised by @Shaikh-Ubaid , I have simplified all such expressions. I have tested the changes locally.

I am doing the same for the dictionary PR too.

For each SemanticError() newly added in this PR, please add an error reference test.

I am adding the tests in a while.

@Shaikh-Ubaid This PR is now ready.

Please mark it as "Ready for review" when ready.

I get this error when running the tests from ./integration_tests

from lpython import i32, list, str, Const


def test_const_list():
    CONST_INTEGER_LIST: Const[list[i32]] = [1, 2, 3, 4, 5, 1]

    assert CONST_INTEGER_LIST.count(1) == 2
    assert CONST_INTEGER_LIST.index(1) == 0

    CONST_STRING_LIST: Const[list[str]] = ["ALPHA", "BETA", "RELEASE"]
    assert CONST_STRING_LIST.count("ALPHA") == 1
    assert CONST_STRING_LIST.index("RELEASE") == 2


test_const_list()

code generation error: asr_to_llvm: module failed verification. Error:
Stored value type does not match pointer operand type!
  store %list* %const_list, %list* %CONST_INTEGER_LIST, align 8
 %list = type { i32, i32, i32* }Stored value type does not match pointer operand type!
  store %list.0* %const_list1, %list.0* %CONST_STRING_LIST, align 8
 %list.0 = type { i32, i32, i8** }

I get this error when running the tests from ./integration_tests

I attempted fixing it. Let's see if the CI passes.

I rebased this PR on main branch. Hence, to push to this branch further, you would need to first pull the changes from this branch with --rebase flag. For example,

git pull [email protected]:kmr-srbh/lpython.git const-list-attributes --rebase

or simply checkout a new copy of the remote branch and work on it if you are comfortable that way.

Please mark it as "Ready for review" when ready. I will do a final review then.