Unsupported type NoneType

[gewlar]

Nagini fails during translation in this setup when running nagini --base-dir=../ foo.py from a common folder:

# __init__.py
from .A import A

# A.py
class A():
    @property
    def value(self) -> int:
        return 5

# foo.py
from nagini_contracts.contracts import *
from . import *

class foo():
    def test(self, a: A) -> bool:
        Requires(a.value > 4)
        return True

[gewlar]

Slight variation which might require a different solution. In this case the receiver B doesn't have A set as its superclass during the typeof lookup for value

# __init__.py
from .A import A
from .B import B

# A.py
class A():
    @property
    def value(self) -> int:
        return 5

# B.py
class B(A):
    pass

# foo.py
from nagini_contracts.contracts import *
from . import *

class foo():
    def test(self, b: B) -> bool:
        Requires(b.value > 4)
        return True

This problem also exists if B is defined in the same file as A.

[marcoeilers]

What should be the directory structure for the first example? I put them all in the same directory, but when I run the command you showed, I just get Type error: Name "A" is not defined (foo.py@6.0).

[gewlar]

My test setup looks like this:

none_test
│   __init__.py
│   A.py
│   foo.py

I then ran:

cd none_test
nagini --base-dir=../ foo.py

[marcoeilers]

Urgh, I had the same setup but named it __init__.pyi by accident -.-