0-keyword argument funcalls fail

[cstjean]

Follow-up to #14758. On 0.5.0

no_kwargs = Any[]
foo() = 10
@eval foo(; $(no_kwargs...))

> LoadError: function foo does not accept keyword arguments

Similarly:

type Something end
no_kwargs = Any[]
@eval Something(; $(no_kwargs...))

> LoadError: MethodError: no method matching Something()

[yuyichao]

Related to although not exactly dup of #9498

[cstjean]

Is there a reason why f(args...; kwargs...) and f(args..., kwargs...) shouldn't be lowered to the same thing, in a function call?

[yuyichao]

Is there a reason why f(args...; kwargs...) and f(args..., kwargs...) shouldn't be lowered to the same thing, in a function call?

Yes, the kwargs in the second form are positional arguments.

Also.

julia> :(foo(; $(no_kwargs...)))
:(foo(; ))

julia> :(foo(; no_kwargs...))
:(foo(; no_kwargs...))

julia> expand(:(foo(; $(no_kwargs...))))
:(((Core.kwfunc)(foo))((Base.vector_any)(),foo))

julia> expand(:(foo(; no_kwargs...)))
:($(Expr(:thunk, CodeInfo(:(begin 
        SSAValue(0) = (Base.vector_any)()
        SSAValue(1) = no_kwargs
        #s2 = (Base.start)(SSAValue(1))
        4: 
        unless !((Base.done)(SSAValue(1),#s2)) goto 19
        SSAValue(2) = (Base.next)(SSAValue(1),#s2)
        SSAValue(3) = (Core.getfield)(SSAValue(2),1)
        #temp# = (Base.start)(SSAValue(3))
        SSAValue(4) = (Base.indexed_next)(SSAValue(3),1,#temp#)
        SSAValue(5) = (Core.getfield)(SSAValue(4),1)
        #temp# = (Core.getfield)(SSAValue(4),2)
        SSAValue(6) = (Base.indexed_next)(SSAValue(3),2,#temp#)
        SSAValue(7) = (Core.getfield)(SSAValue(6),1)
        #temp# = (Core.getfield)(SSAValue(6),2)
        #s2 = (Core.getfield)(SSAValue(2),2)
        (Core.ccall)(:jl_array_ptr_1d_push2,Void,(Core.svec)(Any,Any,Any),SSAValue(0),0,(Core.typeassert)(SSAValue(5),Core.Symbol),0,SSAValue(7),0)
        17: 
        goto 4
        19: 
        unless (Base.isempty)(SSAValue(0)) goto 22
        return foo()
        22: 
        return ((Core.kwfunc)(foo))(SSAValue(0),foo)
    end)))))

[cstjean]

Oh, right, then my work-around is mistaken. Edited.