BoundsError in invoke

[yuyichao]

I've got a very weird BoundError when trying use invoke. See minimized demonstration below

julia> f(::Any, ::Any, ::Any, args...) = Any
f (generic function with 1 method)

julia> invoke(f, (Any, Any, Any), 1, 1, 1)
ERROR: BoundsError()
 in typeinf at /usr/lib/julia/sys.so
 in typeinf_ext at /usr/lib/julia/sys.so

The error goes away if I remove the args... or one of the arguments so I guess I'm using invoke in the right way.

julia> f2(::Any, ::Any, args...) = Any
f2 (generic function with 1 method)

julia> invoke(f2, (Any, Any), 1, 1)
Any

julia> f3(::Any, ::Any, ::Any) = Any
f3 (generic function with 1 method)

julia> invoke(f3, (Any, Any, Any), 1, 1, 1)
Any

P.S. It might be helpful to keep linenumber info of the original source file in sys.so. This would be especially useful when pre-compiling packages support is added.

[timholy]

The quality of backtraces varies with your platform, due (IIUC) to limitations in LLVM rather than julia. For example:

julia> f(::Any, ::Any, ::Any, args...) = Any
f (generic function with 1 method)

julia> invoke(f, (Any, Any, Any), 1, 1, 1)
ERROR: BoundsError()
 in typeinf at ./inference.jl:1397
 in typeinf_ext at ./inference.jl:1242

What platform are you on?

[vtjnash]

are you running julia0.3 with llvm3.5? i'm guess so because of your install location. i think i've fixed the line number issue for that platform on the latest master.

[yuyichao]

I'm running latest master with llvm 3.5 on Linux.

[yuyichao]

Just tested a few more cases and it actually fails with 3 or more arguments.

[tkelman]

should the fix here be scheduled for backporting?

[vtjnash]

Yes

[tkelman]

I think this one would be more appropriate for 0.3.6.

[tkelman]

any change in backporting opinion now that these tests have been causing issues?

[vtjnash]

I guess it probably fine to wait until someone fixes the rest of the bug