Inconsistent type reported by Meta for []

[radeusgd]

As raised on Discord, we can see that there is inconsistency between the types reported by various Meta methods for the value [] (and any other vector for that matter):

Actual behaviour

> Meta.get_qualified_type_name []
>>> Standard.Base.Data.Vector.Vector
> Meta.get_simple_type_name []
>>> Array
> Meta.get_qualified_type_name [].to_array
>>> Standard.Base.Data.Array.Array
> Meta.get_simple_type_name [].to_array
>>> Array

We can see that the Vector type is still characterized as Array by the get_simple_type_name. It seems like both methods should be consistent - so I assume that we most likely want:

Expected behaviour

> Meta.get_qualified_type_name []
>>> Standard.Base.Data.Vector.Vector
> Meta.get_simple_type_name []
>>> Vector

[JaroslavTulach]

The get_simple_type_name is (probably due to historical reasons) a completely different implementation that is not using the TypeOf...Node as the get_qualified_type_name does. Probably time to rewrite the simple version to delegate to fully qualified name and shorten it - where possible.

[enso-bot]

Jaroslav Tulach reports a new STANDUP for yesterday (2023-12-03):

Progress: - analyzing "type names": #8255

• Saturday AoC: https://discord.com/channels/401396655599124480/1180385684117270528/1180398810615251045
• Sunday AoC. Found serious bug map_with_index & if then (without else) is broken #8441 It should be finished by 2023-12-06.

Next Day: Bugfix "type names"

Discord

Discord - A New Way to Chat with Friends & Communities

Discord is the easiest way to communicate over voice, video, and text. Chat, hang out, and stay close with your friends and communities.

[enso-bot]

Jaroslav Tulach reports a new STANDUP for yesterday (2023-12-04):

Progress: - Meta.get_simple_type_name

• atom constructor is a function: 08f7a70
• AoC: https://discord.com/channels/401396655599124480/1181102137795674273/1181132755543797810
• evaluating VSCode issue: Cannot debug Enso / Java in VSCode #8017 (comment)
• standups
• (demo) meetings It should be finished by 2023-12-06.

Next Day: Bugfix "type names"

Discord

Discord - A New Way to Chat with Friends & Communities

Discord is the easiest way to communicate over voice, video, and text. Chat, hang out, and stay close with your friends and communities.

[enso-bot]

Jaroslav Tulach reports a new STANDUP for yesterday (2023-12-05):

Progress: - AoC: https://discord.com/channels/401396655599124480/1181479168400171098/1181516808495312896

• TypeToDisplayTextNode & AnyToDisplayTextNode: faf7005
• debugging RuntimeErrorsTest: ee027b2
• throwing PanicException with raiseAssertionPanic
• bisecting errors in Table_Tests: Consistent simple and qualified type name #8448 (comment)
• and: 1eca6fd It should be finished by 2023-12-06.

Next Day: Bugfix something

Discord

Discord - A New Way to Chat with Friends & Communities

Discord is the easiest way to communicate over voice, video, and text. Chat, hang out, and stay close with your friends and communities.

[enso-bot]

Jaroslav Tulach reports a new STANDUP for yesterday (2023-12-06):

Progress: - merged: #8448

• investigating private modules: Cannot make Array_Like_Helpers private #8469
• changes requested for Map & error: Better Error Trapping in map #8307 (review)
• AoC: https://adventofcode.com/2023/day/6
• clarification of VisualVM sampler bug: Polyglot Sampler doesn't work with GraalVM for JDK 21 oracle/visualvm#537 (comment)
• Rewritting Sieve benchmarks to Enso: Turning Sieve benchmarks into Enso benchmarks #8475
• standups, meetings It should be finished by 2023-12-06.

Next Day: Bugfix something

Day 6 - Advent of Code 2023