-
Notifications
You must be signed in to change notification settings - Fork 2.6k
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
[stdlib] Fix startswith()
and endswith()
#3922
base: nightly
Are you sure you want to change the base?
[stdlib] Fix startswith()
and endswith()
#3922
Conversation
Signed-off-by: martinvuyk <[email protected]>
Signed-off-by: martinvuyk <[email protected]>
Signed-off-by: martinvuyk <[email protected]>
startswith()
and endswith()
startswith()
and endswith()
@JoeLoser @ConnorGray @jackos @lsh pinging all of you to see if anyone can expedite this so that the public CI doesn't keep failing |
!sync |
✅🟣 This contribution has been merged 🟣✅ Your pull request has been merged to the internal upstream Mojo sources. It will be reflected here in the Mojo repository on the nightly branch during the next Mojo nightly release, typically within the next 24-48 hours. We use Copybara to merge external contributions, click here to learn more. |
Improve `startswith()` and `endswith()` This changes these methods to take `StringSlice`, and simplifies their implementation on `String` and `StringLiteral` to simply delegate to `StringSlice`'s implementation of the same operation. Closes #3903. Solves the current CI failure with `check_licences.mojo` passing a `StringSlice` to `String.startswith()`. Co-authored-by: Connor Gray <[email protected]> Closes #3922 MODULAR_ORIG_COMMIT_REV_ID: 8b078da9d23edc4e118dc9854763e0fb69887fba
Fix
startswith()
andendswith()
Closes #3903
Solves the current CI failure with
check_licences.mojo
passing aStringSlice
toString.startswith()