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
Typechecking is not idempotent #5464
Labels
Milestone
Comments
Imported From: https://issues.scala-lang.org/browse/SI-5464?orig=1 |
@xeno-by said: |
This was referenced Apr 7, 2017
Will this be resolved in 2.13.0-RC1 ? I cannot image how can this be resolved without Dotty's immutable AST. |
consolidating these tickets here:
|
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Apparently, under certain circumstances one cannot typecheck a tree twice, i.e.: 1) typecheck a tree, 2) reset all attrs, 3) typecheck the tree again. This is an umbrella issue that links to its particular cases submitted as separate issues. Some discussion about the matter at hand can be found here: http://groups.google.com/group/scala-internals/browse_thread/thread/29972d91a95e5b6d.
In 2.10 this issue won't be just theoretical. With the advent of reification and reflective compilation, it's crucial to have a possibility to take trees from the middle of the compilation pipeline, dehydrate them and store them for the future use.
The text was updated successfully, but these errors were encountered: