M-Labs/nac3
M-Labs/nac3
8
1
Fork 12
Code Issues 99 Pull Requests 19 Releases Wiki Activity

tests use deprecated Tuple/List #85

New Issue
Closed
opened 2021-11-10 16:06:11 +08:00 by sb10q · 2 comments
sb10q commented 2021-11-10 16:06:11 +08:00
Owner
Copy Link

e.g.

#[test_case(2,
    &[
        ("v1", "Tuple[int]"),
        ("v2", "List[int]"),
    ],
    (("v1", "v2"), "Cannot unify list[0] with tuple[0]")
    ; "type mismatch"
)]
e.g. ```rust #[test_case(2, &[ ("v1", "Tuple[int]"), ("v2", "List[int]"), ], (("v1", "v2"), "Cannot unify list[0] with tuple[0]") ; "type mismatch" )] ```
pca006132 commented 2021-11-10 16:07:49 +08:00
Contributor
Copy Link

This is because the symbol resolver is one specifically made for the test, without using other modules. I think this is not a problem. This module is not aware of Python specific issues.

This is because the symbol resolver is one specifically made for the test, without using other modules. I think this is not a problem. This module is not aware of Python specific issues.
sb10q commented 2021-11-10 16:13:43 +08:00
Author
Owner
Copy Link

OK but this is confusing and what led me to use Tuple in #81.

OK but this is confusing and what led me to use ``Tuple`` in #81.
sb10q closed this issue 2021-11-11 20:05:25 +08:00
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
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
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#85
No description provided.
Delete Branch "%!s()"

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?