Skip to content

Conversation

@kripken
Copy link
Member

@kripken kripken commented Nov 17, 2025

Remove the marking of all configureAll-referred functions as having public
heap types. It turns out that only 2 passes then need to be fixed, as the
others that care about public types either don't look at functions, or do not
care about signature-called functions (e.g. making the type final is not a
problem there).

@kripken kripken requested a review from tlively November 17, 2025 21:59
Copy link
Member

Choose a reason for hiding this comment

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

Is there a way we can allow refining the result types but not the parameter types?

Copy link
Member Author

Choose a reason for hiding this comment

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

We could with extra logic. Do you think it would be worth it?

Copy link
Member

Choose a reason for hiding this comment

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

I think it might be worth it. No reason to lose type information unnecessarily in the returns, and I assume it won't take much extra logic to implement.

Copy link
Member Author

Choose a reason for hiding this comment

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

Ok, I'll look into a followup.

@kripken kripken merged commit 5190098 into WebAssembly:main Nov 17, 2025
16 checks passed
@kripken kripken deleted the configureAll.opt branch November 17, 2025 23:52
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