-
Notifications
You must be signed in to change notification settings - Fork 259
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
Replace default class with implicit classes #4230
base: master
Are you sure you want to change the base?
Replace default class with implicit classes #4230
Conversation
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 suggest that you check that this change in internal structure is OK for dafny doc
Pausing for now because for code generation, it would be nicest to combine the implicit classes after resolution, but the current compiler architecture makes that difficult to implement because it breaks the references to the implicit classes and they can not easily be updated. |
Fixes #4139 because it causes declarations in the default module from different included files, to be sorted in topological order of the include graph.
Alternative to: #4139
Changes
Testing
By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.