[Numbers\sum] should this accept `:objects` too?

[RickBarretto]

Summary

Summing :objects that implements the add magic method would improve the expressiveness of the language.

Current Behavior

define :Vec2 [

    init: method [x y][
        this\x: x
        this\y: y
    ]

    add: method [other :Vec2][
        to :Vec2 #[
            x: this\x + other\x
            y: this\y + other\y
        ]
    ]
]

inspect a: <= to :Vec2 [1 2]!
; [ :Vec2
;         x  :        1 :integer
;         y  :        2 :integer
; ]

inspect b: <= to :Vec2 [3 4]!
; [ :Vec2
;         x  :        3 :integer
;         y  :        4 :integer
; ]

inspect c: <= add a b
; [ :Vec2
;         x  :        4 :integer
;         y  :        6 :integer
; ]

inspect sum @[a b c]
; ══╡ Type Error ╞═════════════════════════════════════════════════════════════════════════════ <script> ══
;
;   Erroneous type found
;
;   Invalid operation add
;   Between: :integer
;       and: :object
;
;   ┃ File: c:\Users\rickd\Documents\Projects\unitt\sum.art
;   ┃ Line: 20
;   ┃
;   ┃   18 ║  inspect c: <= add a b
;   ┃   19 ║
;   ┃   20 ║► inspect sum @[a b c]
;   ┃   21 ║

Expected Behavior

define :Vec2 [

    init: method [x y][
        this\x: x
        this\y: y
    ]

    add: method [other :Vec2][
        to :Vec2 #[
            x: this\x + other\x
            y: this\y + other\y
        ]
    ]
]

inspect a: <= to :Vec2 [1 2]!
; [ :Vec2
;         x  :        1 :integer
;         y  :        2 :integer
; ]

inspect b: <= to :Vec2 [3 4]!
; [ :Vec2
;         x  :        3 :integer
;         y  :        4 :integer
; ]

inspect c: <= add a b
; [ :Vec2
;         x  :        4 :integer
;         y  :        6 :integer
; ]

inspect sum @[a b c]
; [ :Vec2
;         x  :        8 :integer
;         y  :        12 :integer
; ]

Steps To Reproduce

No response

OS

Windows 11

Version

arturo 0.10.0 Arizona Bark (amd64/windows)

Anything else?

Issue reported from official Arturo's VS Code extension.

• VS Code: Visual Studio Code 1.109.3 / Extension: v0.9.1

Is there an existing issue for this?

• I have searched the existing issues

[drkameleon]

I believe it's more complicated than it looks:

I mean, we do perfectly support add as an overloaded magic method for objects.

So, what is going on in the your example and my last one? Good question.
First of all, the error message looks incorrect. So, it doesn't understand something as it should.

Another important bit - which is where the problem lies, I think - is that both seem to involve some pre-calculation/AST magic... (my example, if you look at it closely, seems to be hitting a infinite recursion too!)

I'll have to have a look into it. But, good catch! 😉