Execute foreign function and check autoscoped constructor result

[JaroslavTulach]

Pull Request Description

Fixes #10151 and also fixes #10180 and fixes #10186.

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.
• Obsolete unit test was rewritten by @4e6

[radeusgd]

Enso tests look good

[JaroslavTulach]

Running a.enso:

from Standard.Base import all

type Foo
    Value a

main =
    v = ..Value
    f = v:Foo
    f

yields

Type error: Expected `..Value` to be Foo, but got Foo.Value[a.enso:4:5-11] a=_.
Try to apply a argument.
        at <enso> a.main(a.enso:8:9-9)

[Akirathan]

LGTM. Minor: consider adding few tests for edge cases invoking polyglot functions.

[Akirathan]

would be nice to also see what happens if I try to specify more or less arguments to the function. Can you do, e.g.,

curried = js_plus 3
curried 5 . should_equal 8

?

[JaroslavTulach]

Invoking:

curried = js_plus 3

main =
    curried

foreign js js_plus = """
    return (a, b) => a + b;

yields NaN as 3 + undefined is NaN.

[4e6]

I'd expect it to behave the same way as if js_plus was an enso function. I.e. main should return a function

[JaroslavTulach]

Tested in fe14b8d

I'd expect it to behave the same way as if js_plus was an enso function

You might expect it, but there is no chance to achieve such behavior. JavaScript functions don't have a fixed arity. You can invoke them with any number of arguments. If you want that to be changed, then you need to beg for a change of the ECMAScript specification ;-)

[4e6]

You're right, I didn't think about that