Skip to content
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

MalleableStrings made human readable #1500

Merged
merged 3 commits into from
Dec 9, 2022

Conversation

petervdonovan
Copy link
Collaborator

Fixes an issue reported by @edwardalee today which results in the following diagram:
image

@petervdonovan petervdonovan marked this pull request as draft December 8, 2022 01:33
Copy link
Member

@lhstrh lhstrh left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Now that's what I call a quick fix 🚀

Formatting tests are wreaking havoc though...

@petervdonovan
Copy link
Collaborator Author

Formatting tests are wreaking havoc though...

This change uncovered a subtle bug in the formatting logic. It is not very good that the formatter has so many subtle bugs. A fix is in progress but will involve reformatting several tests, which takes time (#1342).

@petervdonovan petervdonovan marked this pull request as ready for review December 8, 2022 19:59
@petervdonovan
Copy link
Collaborator Author

petervdonovan commented Dec 9, 2022

The test failure in the last commit was probably nondeterministic given that it a) did not appear in the commit before it and b) seems to be unrelated to any changes anywhere in this branch. I think it is pragmatic to merge this branch despite the test failure. (which is reported in #1502).

@petervdonovan petervdonovan merged commit 379b262 into master Dec 9, 2022
@petervdonovan petervdonovan deleted the fix-malleablestring-display branch December 9, 2022 23:31
@lhstrh lhstrh added the bugfix label Jan 26, 2023
@lhstrh lhstrh changed the title Fix display of MalleableStrings. MalleableStrings made human readable Jan 26, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants