-
Notifications
You must be signed in to change notification settings - Fork 1.1k
Add basic hands on tutorial #5493
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
Add basic hands on tutorial #5493
Conversation
68b57b3
to
c514aaa
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM
We could add more links to different category/examples of macros/meta-programs, this is what readers expect.
docs/docs/reference/tasty-reflect.md
Outdated
`quoted.Expr` and `quoted.Type` are opaque TASTs. | ||
The opaqueness required in [Principled Meta-programming](./principled-meta-programming.html) provide the guarantee that | ||
the generation of code of the macro will be type correct. | ||
Using TASTy reflect will break these guarantees and may fail at macro expansion time, hence additional explicit check must be done. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I also agree.
docs/docs/reference/tasty-reflect.md
Outdated
} | ||
``` | ||
|
||
`import reflection._` will provide a `reflect` extension method on `quoted.Expr` and `quoted.Type` with return a `reflection.Term` and `reflection.TypeTree` respectivly. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
"which returns"
No description provided.