module type support #40

Open
opened 2021-10-02 19:09:07 +08:00 by sb10q · 0 comments
Owner

Currently the type system is not able to represent Python modules, so names cannot be modules and therefore statements like import xxx do not work (as the module xxx cannot be bound to the namespace).

The bare minimum required to support import xxx and import xxx as yyy would be sufficient, i.e. we do not have to support modules passed as function parameters, returned from functions, assigned to variables, etc. etc.

See also #36 (comment)

Currently the type system is not able to represent Python modules, so names cannot be modules and therefore statements like ``import xxx`` do not work (as the module ``xxx`` cannot be bound to the namespace). The bare minimum required to support ``import xxx`` and ``import xxx as yyy`` would be sufficient, i.e. we do not have to support modules passed as function parameters, returned from functions, assigned to variables, etc. etc. See also https://git.m-labs.hk/M-Labs/nac3/issues/36#issuecomment-2668
sb10q added the
low-priority
label 2021-10-02 19:09:07 +08:00
sb10q removed the
low-priority
label 2022-03-24 22:57:07 +08:00
sb10q added this to the Alpha milestone 2022-03-24 22:57:12 +08:00
sb10q modified the milestone from Alpha to Beta 2022-03-31 10:30:02 +08:00
sb10q modified the milestone from Beta to Alpha 2023-12-19 11:56:33 +08:00
occheung was assigned by sb10q 2024-11-16 19:05:43 +08:00
occheung was unassigned by sb10q 2024-12-18 18:26:11 +08:00
abdul124 was assigned by sb10q 2024-12-18 18:26:11 +08:00
Sign in to join this conversation.
No Milestone
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: M-Labs/nac3#40
No description provided.