M-Labs
/
nac3
8
0
Fork 5
Code Issues 87 Pull Requests 3 Releases Wiki Activity

support non-boolean conditions? #88

New Issue
Closed
opened 2021-11-10 18:47:23 +08:00 by sb10q · 3 comments
sb10q commented 2021-11-10 18:47:23 +08:00
Owner

Support if x: with x being e.g. int32, int64, float, list like in CPython.

Though if this messes up the type system it may not be worth doing.

Support ``if x:`` with ``x`` being e.g. ``int32``, ``int64``, ``float``, ``list`` like in CPython. Though if this messes up the type system it may not be worth doing.
sb10q added the
low-priority
 label 2021-11-10 18:47:23 +08:00
sb10q commented 2021-12-23 15:36:34 +08:00
Poster
Owner

@pca006132 Is it worth looking into this or should we just close this Issue? IMHO this kinda go against the explicit typing philosophy of NAC3.

@pca006132 Is it worth looking into this or should we just close this Issue? IMHO this kinda go against the explicit typing philosophy of NAC3.
pca006132 commented 2021-12-23 15:39:35 +08:00

This will not mess up the type system, just have to change the inference rule for if/while. However, I wonder if we really want this...

This will not mess up the type system, just have to change the inference rule for if/while. However, I wonder if we really want this...
sb10q commented 2021-12-23 15:40:12 +08:00
Poster
Owner

OK, let's just close it.

OK, let's just close it.
sb10q closed this issue 2021-12-23 15:40:12 +08:00
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
enhance/issue-149-ndarray/numpy-minmax
master
enhance/cargo-test-standalone-demos
issue-136
rpc-obj-as-param
no_init
iterators
escape-analysis
refactor_anto
Labels
Clear labels   
UROP0622
   
future-extension
   
high-priority
   
low-priority
No Label
UROP0622
future-extension
high-priority
low-priority
Milestone
Clear milestone
No items
No Milestone
Assignees
Clear assignees
No Assignees
2 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#88
There is no content yet.
Delete Branch "%!s(<nil>)"

Deleting a branch is permanent. Although the deleted branch may exist for a short time before cleaning up, in most cases it CANNOT be undone. Continue?