Add Hir -> Ast conversion
#4796
Labels
enhancement
New feature or request
Comments
This was referenced Apr 12, 2024
github-merge-queue bot
pushed a commit
that referenced
this issue
Apr 12, 2024
# Description ## Problem\* Resolves #4796 ## Summary\* Adds a way to go from the Hir back to the Ast. This conversion isn't exact and information is lost currently. Notably many spans are lost and some constructs like `Type::TypeVariable` have no equivalent in the Ast. This also isn't expected to be idempotent. Different nodes may be desugared, `let` statements may have explicit types added, etc. ## Additional Context This is unused currently and can't be triggered from the current compiler at all. I'm adding this PR now to split off required changes for metaprogramming into smaller chunks. ## Documentation\* Check one: - [x] No documentation needed. - [ ] Documentation included in this PR. - [ ] **[For Experimental Features]** Documentation to be submitted in a separate PR. # PR Checklist\* - [x] I have tested the changes locally. - [x] I have formatted the changes with [Prettier](https://prettier.io/) and/or `cargo fmt` on default settings.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Problem
For metaprogramming we need to be able to go from the Hir back to the Ast to redo name resolution and type checking
Happy Case
We add a Hir -> Ast conversion pass to do this.
Project Impact
None
Impact Context
No response
Workaround
None
Workaround Description
No response
Additional Context
No response
Would you like to submit a PR for this Issue?
None
Support Needs
No response
The text was updated successfully, but these errors were encountered: