Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Bug] Assertion Error During deep_check #1416

Open
kugesan1105 opened this issue Oct 31, 2024 · 1 comment
Open

[Bug] Assertion Error During deep_check #1416

kugesan1105 opened this issue Oct 31, 2024 · 1 comment
Assignees
Labels
bug Something isn't working as expected. jaclang Issues related to jac programming language

Comments

@kugesan1105
Copy link
Collaborator

Describe the bug

When performing a deep check , the following code line causes an unexpected assertion error:

visit [-->](`?test_node);

If the line is commented out or modified to visit [-->];, deep check completes successfully. This indicates a possible issue with the visit statement when specifying the node type in deep check.

To Reproduce

node test_node {
    has value: int;
}

walker test_walker {
    can traverse with root entry {
        # visit [-->](`?test_node);          # error while deep check 
          visit   [-->];                     # working
    }

}

with entry {
    for i in range(10) {
        root ++> (next := test_node(value=i));
    }
    wlk_obj = root spawn test_walker();
    print(wlk_obj);
}

Error Screenshot:

image

@kugesan1105 kugesan1105 added bug Something isn't working as expected. jaclang Issues related to jac programming language labels Oct 31, 2024
@mgtm98
Copy link
Collaborator

mgtm98 commented Nov 1, 2024

@kugesan1105 It works fine at my end, you sure this reproduces the issue?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working as expected. jaclang Issues related to jac programming language
Projects
None yet
Development

No branches or pull requests

2 participants