@/callfunc transformation should honor the default values of a function

[ZeeD]

first of all: the current behavior is totally documented, you can treat this as a "feature request"/improvement.

Let's say I have this function in my component

sub myFunction(myFlag = true as boolean)
...
end sub

and I try to invoke it from the external with the @ syntax. I don't pass any value so I assume that myFlag is set to true

myComponent@.myFunction()

but bsc compiles the snippet to

myComponent.callfunc("myFunction", invalid)

witch translates to the runtime error: Type Mismatch. Unable to cast "roInvalid" to "Boolean".

Ideally, instead, the translation of @ should check if the first value of the function has a default value, and use it. In this case compiling to

myComponent.callfunc("myFunction", true)

[TwitchBronBron]

So, I like the idea. However, I'm not sure we can safely implement it. Callfunc syntax does not currently have any deeper knowledge of the runtime component type, and as such, it doesn't know anything about the function being called by callfunc. Until we can safely track the exact comonent type for myComponent, we wouldn't be able to implement this feature.

Ideally, callfunc calls are handled in the exact same way as class method / AA function calls. Once we get type tracking in place, all of these things should become much easier to safeguard.