Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

tests: extended --stable-compatible checks #4850

Merged
merged 7 commits into from
Jan 16, 2025

Conversation

crusso
Copy link
Contributor

@crusso crusso commented Jan 15, 2025

builds on (and to be merged with) #4812

@crusso crusso changed the base branch from master to claudio/migration January 15, 2025 13:16
// Version: 2.0.0
actor ({
stable var one : [var Nat];
stable var three : [var (Nat, Text)];
Copy link
Contributor Author

Choose a reason for hiding this comment

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

This should not be here!

Copy link
Contributor Author

Choose a reason for hiding this comment

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

Fixed

Copy link

github-actions bot commented Jan 15, 2025

Comparing from f3994a4 to 6d27844:
The produced WebAssembly code seems to be completely unchanged.

src/mo_frontend/typing.ml Outdated Show resolved Hide resolved
src/lowering/desugar.ml Outdated Show resolved Hide resolved
@crusso crusso merged commit 21f1f23 into claudio/migration Jan 16, 2025
6 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.

1 participant