Skip to content

Conversation

@ChingLongTin
Copy link

This is a draft PR to implement the staged keyword and :staging compiler flag.

This currently cannot merge due to the change in semantics.Import syntax in MLsCompiler.scala.

Adding the staged: Bool field into FunDefn is a bit hacky to avoid rewriting existing match statements, we'll look into adding the field to ClsLikeBody instead.

@LPTK
Copy link
Contributor

LPTK commented Nov 1, 2025

There is no need to add such a field to ClsLikeBody. You can simply access the source definition through the symbol's defn field and find there whether the staged annotation is present.

@ChingLongTin

This comment was marked as resolved.

@LPTK
Copy link
Contributor

LPTK commented Nov 5, 2025

Now I have 2 diff tests failing

Please elaborate; this doesn't help. Why are they failing?

Also, please fix the conflicts.

@LPTK
Copy link
Contributor

LPTK commented Nov 6, 2025

I think we can merge this as soon as you finish addressing the comments. I guess it can be marked as "ready", yes?

@ChingLongTin
Copy link
Author

Yes, it is ready now.

@ChingLongTin ChingLongTin marked this pull request as ready for review November 6, 2025 09:39
Copy link
Contributor

@LPTK LPTK left a comment

Choose a reason for hiding this comment

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

LGTM, thx

@LPTK LPTK merged commit 481546f into hkust-taco:hkmc2 Nov 6, 2025
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