Ensure EnsoMultiValue returns some Meta.type_of

[JaroslavTulach]

Pull Request Description

Discovered when discussing #11366 - sometimes (when also representing a number) a multi value panics on computing Meta.type_of.

Checklist

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

• All code follows the
  Java,
• Unit tests have been written where possible.

[JaroslavTulach]

Previously the following was broken:

With this PR the first type (e.g. Text in case of Text & Integer) is returned.

[Akirathan]

Approving. But it seems to me that there may be a test missing.

[Akirathan]

Shouldn't you also add test for Meta.type_of v . should_equal Integer ?

[JaroslavTulach]

I cannot right now, as the type doesn't equal Integer. Currently only the first type is used by type_of. That's likely to change with the work on

• Allow (multi_value : Table) : Column to succeed #11482

For now, the test checks just the first type.

[enso-bot]

Jaroslav Tulach reports a new STANDUP for yesterday (2024-11-04):

Progress: .

• getting up to speed and reviews
• verify Enso Insight support: Reload insight script on file change #11415 (comment)
• reported 1st editor problem private isn't recognized as a keyword by the IDE's editor #11475
• reported 2nd editor problem IDE's editor corrupts code when return types are inserted #11476
• creating Y.js+Insight issue: Allow to execute Y.js and Insight together  #11477
• making Meta.type_of work for EnsoMultiValue: Ensure EnsoMultiValue returns some Meta.type_of #11480
• Full intersection type issue: Deliver full intersection type of a value to the IDE #11481
• Allow multivalue issue: Allow (multi_value : Table) : Column to succeed #11482
• better UX for "type classes" TL;DR section written: https://github.com/orgs/enso-org/discussions/11366
• investigating 118MB of opencv.jar: Wasting 100MB by Standard.Image: Implement polyglot/lib #11483
• Graph.nextId() is private: Make Graph.nextId() private #11486
• standups & meeting It should be finished by 2024-11-04.

Next Day: Planning & fixes

GitHub

Better UX for "type classes" in the IDE · enso-org · Discussion #11366

Using Enso Type Classes in the IDE There is a blueprint describing how to write Type Classes in Enso. Can such type classes be used in the IDE? there is nothing special on the actual type class its...