Skip to content

Conversation

mediremi
Copy link
Member

The doc comment for Belt.Map.map was not being rendered correctly due to a missing backtick.

I copied over the doc comment for Belt.Map.String.map, which was rendering correctly.

@mediremi mediremi marked this pull request as ready for review July 11, 2025 15:37
Copy link

pkg-pr-new bot commented Jul 11, 2025

Open in StackBlitz

rescript

npm i https://pkg.pr.new/rescript-lang/rescript@7632

@rescript/darwin-arm64

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

@rescript/darwin-x64

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

@rescript/linux-arm64

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

@rescript/linux-x64

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

@rescript/win32-x64

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

commit: 9c05ce3

@zth zth enabled auto-merge (squash) July 12, 2025 18:24
@zth
Copy link
Member

zth commented Jul 12, 2025

@mediremi could you rebase?

auto-merge was automatically disabled July 12, 2025 18:43

Head branch was pushed to by a user without write access

@mediremi
Copy link
Member Author

@zth done 👍

@zth zth enabled auto-merge (squash) July 12, 2025 18:44
@zth zth merged commit 8658e1c into rescript-lang:master Jul 12, 2025
27 checks passed
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