Skip to content

Fix indentation of "default:" for emitted switch statements#8352

Merged
cknitt merged 1 commit intomasterfrom
fix-indent
Apr 17, 2026
Merged

Fix indentation of "default:" for emitted switch statements#8352
cknitt merged 1 commit intomasterfrom
fix-indent

Conversation

@cknitt
Copy link
Copy Markdown
Member

@cknitt cknitt commented Apr 17, 2026

No description provided.

@cknitt
Copy link
Copy Markdown
Member Author

cknitt commented Apr 17, 2026

@codex review

@chatgpt-codex-connector
Copy link
Copy Markdown

Codex Review: Didn't find any major issues. 👍

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

@pkg-pr-new
Copy link
Copy Markdown

pkg-pr-new bot commented Apr 17, 2026

Open in StackBlitz

rescript

npm i https://pkg.pr.new/rescript@8352

@rescript/darwin-arm64

npm i https://pkg.pr.new/@rescript/darwin-arm64@8352

@rescript/darwin-x64

npm i https://pkg.pr.new/@rescript/darwin-x64@8352

@rescript/linux-arm64

npm i https://pkg.pr.new/@rescript/linux-arm64@8352

@rescript/linux-x64

npm i https://pkg.pr.new/@rescript/linux-x64@8352

@rescript/runtime

npm i https://pkg.pr.new/@rescript/runtime@8352

@rescript/win32-x64

npm i https://pkg.pr.new/@rescript/win32-x64@8352

commit: cf9a800

@cknitt cknitt requested a review from fhammerschmidt April 17, 2026 16:54
@cknitt cknitt merged commit b642f8c into master Apr 17, 2026
32 checks passed
@cknitt cknitt deleted the fix-indent branch April 17, 2026 16:57
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.

2 participants