Skip to content

Fix typos in comments and string literals#1924

Merged
sim642 merged 6 commits into
masterfrom
copilot/fix-typos-in-variable-names
Jan 26, 2026
Merged

Fix typos in comments and string literals#1924
sim642 merged 6 commits into
masterfrom
copilot/fix-typos-in-variable-names

Conversation

Copilot AI commented Jan 20, 2026

Copy link
Copy Markdown
Contributor

Audit and Fix Typos in Variable Names - COMPLETED ✅

  • Fix typo: "lenght" → "length" in arrayMatrix.ml
  • Fix typo: "seperately" → "separately" in autoTune0.ml
  • Fix typo: "occured" → "occurred" in 31-mixedjmpbufs.c (2 occurrences)
  • Fix typo: "begining" → "beginning" in td_simplified_ref.ml
  • Fix typo: "accessable" → "accessible" in base.ml
  • Fix typo: "occurances" → "occurrences" in 33-dimarray.c
  • Fix typo: "zero-initalized" → "zero-initialized" in analysisState.ml
  • Fix typo: "supress" → "suppress" in transform.sh
  • Fix typo: "seting" → "setting" in intDomTuple.ml
  • Comprehensive search for additional common typos (including OCaml variable names)
  • Code review passed with no issues
  • Security scan passed (no changes to analyzed languages)

Summary

Successfully completed comprehensive typo audit covering OCaml variable names, comments, and string literals. Found and fixed 9 typos across 9 files. All changes are minimal, affecting only comments and string literals, with no functional impact on the code.

Original prompt

This section details on the original issue you should resolve

<issue_title>Audit for typos in variable names and fix them</issue_title>
<issue_description></issue_description>

Comments on the Issue (you are @copilot in this section)


💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.

Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>
@michael-schwarz

Copy link
Copy Markdown
Member

Also search for further common typos.

Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>
Copilot AI changed the title [WIP] Audit for typos in variable names and fix them Fix typos in comments and string literals Jan 20, 2026
Copilot AI requested a review from michael-schwarz January 20, 2026 15:53
@michael-schwarz

Copy link
Copy Markdown
Member

@copilot: Look for more common typos.

Comment thread _codeql_detected_source_root Outdated
Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>

Copilot AI commented Jan 20, 2026

Copy link
Copy Markdown
Contributor Author

@copilot: Look for more common typos.

Completed comprehensive search for additional typos. Found and fixed 2 more:

  • "supress" → "suppress" in transform.sh
  • "seting" → "setting" in intDomTuple.ml

Fixed in commit 9c40f5a.

Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>
@michael-schwarz michael-schwarz marked this pull request as ready for review January 21, 2026 01:12
@sim642 sim642 added cleanup Refactoring, clean-up documentation Documentation, comments labels Jan 21, 2026
Comment thread .gitignore Outdated
Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>
@sim642 sim642 merged commit 3127a30 into master Jan 26, 2026
19 checks passed
@sim642 sim642 deleted the copilot/fix-typos-in-variable-names branch January 26, 2026 07:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

cleanup Refactoring, clean-up documentation Documentation, comments

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Audit for typos in variable names and fix them

3 participants