M-Labs/nac3
M-Labs
/
nac3
8
0
Fork 10
Code Issues 99 Pull Requests 21 Releases Wiki Activity

module type support #40

New Issue
Open
opened 2021-10-02 19:09:07 +08:00 by sb10q · 0 comments
sb10q commented 2021-10-02 19:09:07 +08:00
Owner
Copy Link

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
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
master
misc/impl-tracert
ndstrides-neo-next
ndstrides-14-end
ndstrides-13-tests
ndstrides-12-builtins
ndstrides-11-matmul
ndstrides-10-ops
ndstrides-9-subassign
ndstrides-8-transpose
ndstrides-7-broadcasting
ndstrides-6-reshape
ndstrides-5-miscfuncs
ndstrides-4-nparray
ndstrides-3-indexing
ndstrides-2-basic
ndstrides-1-model
ndstrides
refactor_composer
misc/update-pyo3
misc/mold
ndstrides-1-model-lifetime
ndstrides-enhance-irrt
ndstrides-intro
issue-313
refactor-primstore
numpy-anyall
enhance/cargo-test-standalone-demos
issue-136
rpc-obj-as-param
iterators
escape-analysis
refactor_anto
Labels
Clear labels   
future-extension

   
high-priority

   
low-priority

   
UROP0622
No Label
future-extension
high-priority
low-priority
UROP0622
Milestone
Clear milestone
No items
No Milestone
Alpha
Assignees
Clear assignees
No Assignees
occheung
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.
Delete Branch "%!s(<nil>)"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?