-
Notifications
You must be signed in to change notification settings - Fork 52
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
Rewriting to the same pattern differs in result #154
Comments
The example got wiped out, but this is likely a case of our whitespace manager not handling it correctly. We'll likely need to add a special rule of to restore the newline even though we didn't match on it. Here's another example: https://app.grit.io/studio?key=I3RFrP0kLTyyenhAGihmq |
Unfortunately I don't think this is a feasible thing to fix.
should indent So in your example I would recommend:
|
I think we could implement this as a post-linearization "healing" stage. I'll do a quick PoC. |
I did an attempt here (#194) but there's no obvious place to do this well. For now I think stick to making output snippets valid-ish Python. |
The following pattern
Should return the exact same thing, but that is not the case as you can see in the following example. https://app.grit.io/studio?key=m44jIoo2l3JuT1lcAXkEm
The text was updated successfully, but these errors were encountered: