Skip to content

Conversation

@demotomohiro
Copy link
Contributor

Rewrite #25201.
This PR traverse PNode and when it get an unknown type, encode it to (typeId <type id> <fields of PType>) and add it to a set of encoded PType.
When it get the same type again, encode it to (t <type id>) and doesn't traverse fields of the type.
PSym are also encoded in the similar way.
So it can encode PNode to NIF even if there are cycles in PType.
This PR is simpler than #25201 as it doesn't contains type or statement specific code.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant