Unable to call staticmethod on class from qualified import

[plajjan]

When importing a class with a qualified import, it is not possible to call staticmethods. It is possible to work around by importing the exact class with a from X import Y and then it is possible to call the staticmethod

In module foo:

class Foo(object):
    def __init__(self):
        pass

    @staticmethod
    def new():
        return Foo()

in main module:

import foo

actor main(env):
    f = foo.Foo.new()
    env.exit(0)

and we get:

kll@Kristians-MacBook-Air imported_staticmethod % acton build
Building project in /Users/kll/dt/acton/test/compiler/imported_staticmethod
  Compiling foo.act for release
   Finished compilation in   0.004 s
  Compiling m.act for release

ERROR: Error when compiling m module: Type error

  |
5 |    f = foo.Foo.new()
  |        ^^^^^^^
The type of the indicated expression (inferred to be () -> foo.Foo) must have an attribute new with type _(+, ++) -> _; no such type is known.

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 

I added this as a testcase in PR #1958, so when we have a fix, please commit and push it to the imported-staticmethod branch and the test should pass and we can merge that PR.

[plajjan]

@nordlander I think you have sort of diagnosed this behavior when we were in a call. I don't remember exactly why it was. I couldn't find an existing issue, so opening this...

[nordlander]

Fixed by #1960.