Generate IR definitions by annotation processor

[Akirathan]

In the current definition of the IR, there is a hierarchy of traits and case classes. Majority of the code inside these case classes is highly repetitive.

There is PoC in #11267 that already contains the definitions of the annotations and the processor.

The ultimate goal of this task is to:

• Replace the Scala trait hierarchy with Java interface hierarchy
• Replace Scala case classes by automatically generated Java classes.
• Ensure that all the changes are compatible, that is, all the code inside runtime-compiler that manipulates with IR either stays completely the same, or is changed just cosmetically, like adding few more named arguments to a method call that previously had a default value.

[Akirathan]

Initial step: Which specific IR element should get reimplemented via these annotations and estimate

[Akirathan]

To prove that the generated IR elements can work, let's start with migrating the simplest possible IR element: Empty. The new implementation with annotations is in Empty.java. I will try to fix all the tests if that is simple enough.

[enso-bot]

Pavel Marek reports a new STANDUP for today (2024-12-03):

Progress: - Figuring out the very first step in the PoC PR: Migrate CallArgument It should be finished by 2024-12-15.

[enso-bot]

Pavel Marek reports a new STANDUP for today (2024-12-04):

Progress: - Example of generated class published as gist - #11267 (comment)

• Pushed PR with the alternative superclass approach - Generate IR definitions by annotation processor - 1st step #11770 It should be finished by 2024-12-15.

[enso-bot]

Pavel Marek reports a new STANDUP for today (2024-12-05):

Progress: - Revamped the implementation to the superclass approach.

• All tests in runtime-parser-processor-tests pass.
• Published example of the generated code in Generate IR definitions by annotation processor - 1st step #11770 (comment)
• This approach seems much better (and easier to implement) than the previous one.
  • I will continue with migration of the CallArgument IR element with this approach. It should be finished by 2024-12-15.

[enso-bot]

Pavel Marek reports a new STANDUP for yesterday (2024-12-10):

Progress: - Generated super class should be abstract.

• Continue migration of CallArgument.Specified. It should be finished by 2024-12-15.

[enso-bot]

Pavel Marek reports a new STANDUP for today (2024-12-24):

Progress: - Generated super class is abstract

• Add more tests and improve error handling during annotation processing
• Tests are now green, continue migration of CallArgument.
• Let's not bend Java classes to look like Scala case classes - Generate IR definitions by annotation processor - 1st step #11770 (comment)
• Benchmarks and tests on Every builtin type has a common super class #11861 are OK, let's integrate. It should be finished by 2025-01-10.

[enso-bot]

Pavel Marek reports a new STANDUP for today (2024-12-27):

Progress: - Small refactoring of pattern matches - #11943

• Will make migration of CallArgument.Specified much easier It should be finished by 2025-01-10.

[enso-bot]

Pavel Marek reports a new STANDUP for today (2024-12-30):

Progress: - The huge PR #11770 is now ready for review - I have managed to migrate CallArgument.Specified to the generated Java class. It should be finished by 2025-01-10.

[enso-bot]

Pavel Marek reports a new STANDUP for today (2025-01-03):

Progress: - Generate jsut a single constructor matching subtype's ctor.

• Generate copy method
• Formatting: Prefer simple names in the generated code.
• Locally, all tests in runtime-integration-tests passes, seems like we will be able to integrate soon. It should be finished by 2025-01-10.

[enso-bot]

Pavel Marek reports a new STANDUP for the provided date (2025-01-06):

Progress: - Fixing issues with publishM2 task, comparing benchmarks. It should be finished by 2025-01-10.

[enso-bot]

Pavel Marek reports a new STANDUP for today (2025-01-08):

Progress: - Still fixing some issues with publishM2 task.

• "Fix" by not publishing src and doc jars.
• Remove unused native libs from OpenCV - Remove unused native libs from opencv #12021
  • Reducing size of the release by roughly 300 MB.
• Reviving Builtins expose Enso methods #11687 It should be finished by 2025-01-10.

[Akirathan]

Done in #11770