Skip to content

Dict.assignMany/concat/concatMany/concatAll, Array.concatAll#8364

Merged
zth merged 7 commits intomasterfrom
dict-assignMany
Apr 19, 2026
Merged

Dict.assignMany/concat/concatMany/concatAll, Array.concatAll#8364
zth merged 7 commits intomasterfrom
dict-assignMany

Conversation

@zth
Copy link
Copy Markdown
Member

@zth zth commented Apr 19, 2026

Adds:

  • Dict.assignMany (merges many dicts into the caller)
  • Dict.concat (concats 2 dicts into a fresh dict, no mutation)
  • Dict.concatMany (concats many dicts into a fresh dict, no mutation)
  • Dict.concatAll (concats many dicts into a fresh dict, no mutation, but via a single array of dicts)
  • Array.concatAll (same as the above, but for arrays)

@zth zth requested a review from tsnobip April 19, 2026 08:41
@zth zth changed the title add assignMany, concat, and concatMany for Dict Dict assignMany/concat/concatMany Apr 19, 2026
@pkg-pr-new
Copy link
Copy Markdown

pkg-pr-new Bot commented Apr 19, 2026

Open in StackBlitz

rescript

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

@rescript/darwin-arm64

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

@rescript/darwin-x64

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

@rescript/linux-arm64

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

@rescript/linux-x64

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

@rescript/runtime

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

@rescript/win32-x64

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

commit: fdbe74e

@zth zth force-pushed the dict-assignMany branch from df82127 to ec4a9f3 Compare April 19, 2026 08:57
@zth zth changed the title Dict assignMany/concat/concatMany Dict.assignMany/concat/concatMany/concatAll, Array.concatAll Apr 19, 2026
@zth zth enabled auto-merge (squash) April 19, 2026 10:02
Copy link
Copy Markdown
Member

@tsnobip tsnobip left a comment

Choose a reason for hiding this comment

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

LGTM now!

@zth zth merged commit 3389677 into master Apr 19, 2026
32 checks passed
@zth zth deleted the dict-assignMany branch April 19, 2026 12:08
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