Skip to content

Added support for Tuples - #374

Merged
LPTK merged 20 commits into
hkust-taco:hkmc2from
b-temirov:tuples
Jan 23, 2026
Merged

Added support for Tuples#374
LPTK merged 20 commits into
hkust-taco:hkmc2from
b-temirov:tuples

Conversation

@FetBoba

@FetBoba FetBoba commented Jan 1, 2026

Copy link
Copy Markdown
Contributor

No description provided.

@LPTK LPTK left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Neat! This looks well done to me. WDYT @Derppening?

Comment thread hkmc2/shared/src/main/scala/hkmc2/codegen/wasm/text/WatBuilder.scala Outdated
Comment thread hkmc2/shared/src/main/scala/hkmc2/codegen/wasm/text/WatBuilder.scala Outdated
Comment thread hkmc2/shared/src/main/scala/hkmc2/codegen/wasm/text/WatBuilder.scala Outdated
Comment thread hkmc2/shared/src/main/scala/hkmc2/codegen/wasm/text/WatBuilder.scala Outdated
Comment thread hkmc2/shared/src/main/scala/hkmc2/codegen/wasm/text/WatBuilder.scala Outdated
@LPTK
LPTK requested a review from Derppening January 1, 2026 16:40

@Derppening Derppening left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Apart from some fields that appear to be better located in Ctx than WatBuilder, the rest looks good to me.

Please do add documentation where possible, including private members.

Comment thread hkmc2/shared/src/main/scala/hkmc2/codegen/wasm/text/Wasm.scala Outdated
Comment thread hkmc2/shared/src/main/scala/hkmc2/codegen/wasm/text/WatBuilder.scala Outdated
Comment thread hkmc2/shared/src/main/scala/hkmc2/codegen/wasm/text/WatBuilder.scala Outdated
Comment thread hkmc2/shared/src/main/scala/hkmc2/codegen/wasm/text/Instructions.scala Outdated
Comment thread hkmc2/shared/src/main/scala/hkmc2/codegen/wasm/text/WatBuilder.scala Outdated
Comment thread hkmc2/shared/src/main/scala/hkmc2/codegen/wasm/text/WatBuilder.scala Outdated
Comment thread hkmc2/shared/src/main/scala/hkmc2/codegen/wasm/text/WatBuilder.scala Outdated
Comment thread hkmc2/shared/src/main/scala/hkmc2/codegen/wasm/text/WatBuilder.scala Outdated

@Derppening Derppening left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Please address the comments and also add some brief documentation for the private functions.

Comment thread hkmc2/shared/src/main/scala/hkmc2/codegen/wasm/text/Ctx.scala Outdated
Comment thread hkmc2/shared/src/main/scala/hkmc2/codegen/wasm/text/Ctx.scala Outdated
Comment thread hkmc2/shared/src/main/scala/hkmc2/codegen/wasm/text/WatBuilder.scala Outdated
Comment thread hkmc2/shared/src/main/scala/hkmc2/codegen/wasm/text/WatBuilder.scala Outdated
Comment thread hkmc2/shared/src/main/scala/hkmc2/codegen/wasm/text/WatBuilder.scala Outdated
Comment thread hkmc2/shared/src/main/scala/hkmc2/codegen/wasm/text/WatBuilder.scala Outdated

@Derppening Derppening left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

LGTM.

Please add some brief documentation for the newly-added private functions as mentioned in the previous review.

@Derppening Derppening left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

This looks almost good to be merged. Please address the remaining comments.

Comment thread hkmc2/shared/src/main/scala/hkmc2/codegen/wasm/text/WatBuilder.scala Outdated
@LPTK
LPTK merged commit 2ddbbef into hkust-taco:hkmc2 Jan 23, 2026
1 check 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.

3 participants