@certik Do you think we should move forward with these changes? I wanted your approval before making changes as it will include changes backend as well as some ASR.

This now prints 5:

def main0():
    x: u32
    x = (u32(2)+u32(3))*u32(5)
    print(x)

main0()

# Not implemented yet in LPython:
#if __name__ == "__main__":
#    main()

The ASR is missing the arithmetic expression, it just has 5. But otherwise it seems to work. There are still many bugs and corner cases to get right.

Now it works, just constants not generated.

Constants work now.

Thorough tests must be added.

The added test does not work yet.

The test works now.

We need to add many more tests, but the basics are working.

@czgdp1807 can you please review this? I'll polish the history tomorrow and merge.

Yes, it's all over the place, it's a mess. Ideally this is done at just once place, and all decisions shifted to physical types to ASR.

Thanks, @certik for completing it!