Skip to content

Conversation

@JaroslavTulach
Copy link
Member

@JaroslavTulach JaroslavTulach commented Oct 28, 2025

Continuation of #14086

Part of #14115

Pull Request Description

Rewrites the IR element at root of every module parse tree into Java.

Checklist

Please ensure that the following checklist has been satisfied before submitting the PR:

  • All code follows the
    Scala,
    Java,
  • Unit tests continue to pass

@JaroslavTulach JaroslavTulach self-assigned this Oct 28, 2025
@JaroslavTulach JaroslavTulach added the CI: No changelog needed Do not require a changelog entry for this PR. label Oct 28, 2025
@enso-bot enso-bot bot mentioned this pull request Oct 29, 2025
- [Usability](#usability)

<!-- /MarkdownTOC -->
- [Taming the Merge Operator](https://www.cambridge.org/core/journals/journal-of-functional-programming/article/taming-the-merge-operator/B8A3A5D16B7AB175D44DB6F980450863)
Copy link
Member Author

@JaroslavTulach JaroslavTulach Oct 29, 2025

Choose a reason for hiding this comment

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

  • This is an unrelated change.
  • Link provided by @radeusgd
  • the paper and especially the references it provides look interesting

Copy link
Member

@Akirathan Akirathan left a comment

Choose a reason for hiding this comment

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

LGTM, I am pushing a commit that changes the version of IR cache, so that we don't break it again.


public UUID id() {
return id;
// TBD: this method should return null when there is no ID
Copy link
Member

Choose a reason for hiding this comment

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

Making id private field in the generated super class seems like a good idea. The only usage of this id() method is in UnreachableMatchBranches and seems rather obscure. If we ever want to introduce some method like IR.hasID, we can do so in the future. If tests pass, I am OK with this change. I am a big fan of making stuff private.

@JaroslavTulach JaroslavTulach merged commit b677ebd into develop Oct 29, 2025
79 checks passed
@JaroslavTulach JaroslavTulach deleted the wip/jtulach/ModuleIrInJava branch October 29, 2025 19:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI: No changelog needed Do not require a changelog entry for this PR.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants