Implement "import A; A.something()"

[certik]

Right now the only way is from A import something which works, but we also need to support "import A".

[Thirumalai-Shaktivel]

Can you please share a minimal example?
This seems to work:

import a; a.f()

a.py

def f():
    print(123)

$ lpython -I. expr2.py
123

[Smit-create]

Maybe this is something that's fixed by: #1795?

[Thirumalai-Shaktivel]

Yup, might be!

[certik]

Excellent, indeed it works for user code now, I verified it. However, it doesn't work for numpy:

import numpy
a: f64[5] = numpy.empty(5)

gives:

$ lpython b.py -I.
semantic error: The symbol 'empty' not found in the module 'numpy'
 --> b.py:2:13
  |
2 | a: f64[5] = numpy.empty(5)
  |             ^^^^^^^^^^^^^^ 

[Smit-create]

I think, its because we have a hard-coded empty in Call.

lpython/src/lpython/semantics/python_ast_to_asr.cpp

Lines 6808 to 6812 in 9941f2c

	} else if (call_name == "empty") {
	// TODO: check that the `empty` arguments are compatible
	// with the type
	tmp = nullptr;
	return;

[certik]

Yes, it's probably time to fix this.

[Smit-create]

The fix is to add empty function in lpython_intrinsic_numpy.py but that gets tricker when we need robust generics(I didn't try that much with the current structure that we have) since empty takes different argument types like empty(2), empty((2, 3)), empty([2, 3]), etc. and also returns difference types.

[certik]

I would support:

from numpy import empty
a: f64[5] = empty(5)

and fail on:

from numpy import sin
a: f64[5] = empty(5)

And succeed on:

from numpy import sin
def empty(n: i32) -> i32:
    return 5
a: i32 = empty(5)