-
Notifications
You must be signed in to change notification settings - Fork 261
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
Introduce code generator name #4944
Introduce code generator name #4944
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.
LGTM!
namespace DafnyCore.Backends.Python; | ||
|
||
public static class PythonExtensions { | ||
public static ConcreteSyntaxTree NewBlockPy(this ConcreteSyntaxTree tree, string header = "", string footer = "", |
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.
Nice organization improvement
|
||
namespace Microsoft.Dafny.Compilers { | ||
|
||
class BuilderSyntaxTree<T> : ConcreteSyntaxTree { |
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.
Was this extracted from the Rust backend somewhere?
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.
From DafnyCodeGenerator.cs
, in the same folder.
3676e19
to
ad596d6
Compare
Description
How has this been tested?
By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.