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

Implement Regular Expression replace and update Text.replace to the new API #5959

Merged
merged 176 commits into from
Mar 28, 2023

Conversation

GregoryTravis
Copy link
Contributor

@GregoryTravis GregoryTravis commented Mar 15, 2023

Pull Request Description

Re-implement replace on top of Truffle regex.

Important Notes

Checklist

Please ensure that the following checklist has been satisfied before submitting the PR:

  • The documentation has been updated, if necessary.
  • Screenshots/screencasts have been attached, if there are any visual changes. For interactive or animated visual changes, a screencast is preferred.
  • All code follows the
    Scala,
    Java,
    and
    Rust
    style guides. In case you are using a language not listed above, follow the Rust style guide.
  • All code has been tested:
    • Unit tests have been written where possible.
    • If GUI codebase was changed, the GUI was tested when built using ./run ide build.

Copy link
Member

@wdanilo wdanilo left a comment

Choose a reason for hiding this comment

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

PR has not descriptive title and the checkboxes are not checked. Please be sure to test the PR before merging this PR (this should result in checking the checkboxes).

@jdunkerley jdunkerley changed the title Wip/gmt/5122 replace 2 Implement Regular Expression replace and update Text.replace to the new API Mar 25, 2023
@jdunkerley
Copy link
Member

PR has not descriptive title and the checkboxes are not checked. Please be sure to test the PR before merging this PR (this should result in checking the checkboxes).

The PR has been fully tested and the description now updated. Please re-review so we can get merged.

@jdunkerley jdunkerley added the CI: Ready to merge This PR is eligible for automatic merge label Mar 27, 2023
@sylwiabr sylwiabr requested review from wdanilo and removed request for wdanilo March 27, 2023 11:37
@GregoryTravis
Copy link
Contributor Author

GregoryTravis commented Mar 27, 2023 via email

@jdunkerley jdunkerley linked an issue Mar 27, 2023 that may be closed by this pull request
@mergify mergify bot merged commit 6b9cbea into develop Mar 28, 2023
@mergify mergify bot deleted the wip/gmt/5122-replace-2 branch March 28, 2023 06:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CI: Ready to merge This PR is eligible for automatic merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Update Text.replace and Text.replace_all.
5 participants