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

Spelling #2843

Merged
merged 1 commit into from
Apr 14, 2023
Merged

Spelling #2843

merged 1 commit into from
Apr 14, 2023

Conversation

jsoref
Copy link
Contributor

@jsoref jsoref commented Apr 14, 2023

This PR corrects misspellings identified by the check-spelling action.

The misspellings have been reported at https://github.com/jsoref/miri/actions/runs/4699927237#summary-12751183650

The action reports that the changes in this PR would make it happy: https://github.com/jsoref/miri/actions/runs/4699927572#summary-12751184493

Copy link
Contributor Author

@jsoref jsoref left a comment

Choose a reason for hiding this comment

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

Most spelling corrections automatically suggested by Google Sheets (when being run on the rust repository). I've manually transplanted these commits into this repository.

All fault mine.

// some magic path on Windos that *is* considered absolute.
// some magic path on Windows that *is* considered absolute.
Copy link
Contributor Author

Choose a reason for hiding this comment

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

brand

// insufficiently aligned. The only way to achieve that is not not let programs
// insufficiently aligned. The only way to achieve that is not to let programs
Copy link
Contributor Author

Choose a reason for hiding this comment

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

atypical correction

// we cannot use xref2; see `compile-fail/stacked-borows/illegal_read4.rs`
// we cannot use xref2; see `compile-fail/stacked-borrows/illegal_read4.rs`
Copy link
Contributor Author

Choose a reason for hiding this comment

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

this makes the comment match the path...

@RalfJung
Copy link
Member

Thanks, the changes look good! However we don't need 52 commits of this, could you squash this into one?

@jsoref
Copy link
Contributor Author

jsoref commented Apr 14, 2023

Sure, as long as you're happy with the changes. I might have time (and a laptop) this afternoon.

@saethlin
Copy link
Member

I have also reviewed all the changes and I like them. I've been meaning to fix these at some point, just always had other things to worry about first.

* additional
* addresses
* aggregates
* always
* around
* beginning
* behaviours
* borrows
* called
* canary
* deallocated
* determine
* division
* documentation
* empty
* endianness
* ensures
* existing
* github
* hygiene
* individual
* initialize
* instantiate
* library
* location
* miscellaneous
* mitigates
* needs
* nonexistent
* occurred
* occurring
* overridden
* parameter
* performable
* previous
* referential
* requires
* resolved
* scenarios
* semantics
* spurious
* structure
* subtracting
* suppress
* synchronization
* this
* timestamp
* to
* transferring
* unknown
* variable
* windows

Signed-off-by: Josh Soref <[email protected]>
@jsoref
Copy link
Contributor Author

jsoref commented Apr 14, 2023

I should have asked if you had a preference for the commit message. This is my default, I'm not attached to it or anything else.

@RalfJung
Copy link
Member

Seems fine. Thanks!
@bors r+

@bors
Copy link
Collaborator

bors commented Apr 14, 2023

📌 Commit 282840b has been approved by RalfJung

It is now in the queue for this repository.

@bors
Copy link
Collaborator

bors commented Apr 14, 2023

⌛ Testing commit 282840b with merge bf51be1...

@bors
Copy link
Collaborator

bors commented Apr 14, 2023

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing bf51be1 to master...

@bors bors merged commit bf51be1 into rust-lang:master Apr 14, 2023
@jsoref jsoref deleted the spelling branch April 14, 2023 20:41
@jsoref jsoref mentioned this pull request Apr 16, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants