abulka/pynsource

Error during AST ALSM conversion

tsaoyu opened this issue · 4 comments

Hi Andy,

I have encountered the following error:

Error during conversion of python AST into ALSM model: 'Attribute' object has no attribute 'id'

on this python file.

Best regards,

Thanks for reporting this.

It looks like parameter types that drill down more than two levels are causing the error.

Repro:

class A:
    def __init__(self, p: gym.spaces.Space):
        pass

So gym.spaces.Space fails but gym.spaces is OK.

I will look into a fix.

Thanks

Pending binary release 1.81 will contain this fix - otherwise the fix is in the source code on master.

Binaries, Installers and Snaps containing this fix are built and are now available: https://github.com/abulka/pynsource/releases

Thanks for your patience.