exclude more false positive cases with constant propagation #33
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Codecov Report
@@ Coverage Diff @@
## master #33 +/- ##
==========================================
+ Coverage 73.69% 73.72% +0.03%
==========================================
Files 10 10
Lines 707 708 +1
==========================================
+ Hits 521 522 +1
Misses 186 186
Flags with carried forward coverage won't be shown. Click here to find out more.
Continue to review full report at Codecov.
|
aviatesk
added a commit
that referenced
this pull request
Mar 29, 2021
Out of those 50 errors below, this PR fixes these three cases:
```
┌ @ src/print.jl:166 Base.getproperty(config, :print_toplevel_sucess)
│┌ @ Base.jl:33 Base.getfield(x, f)
││ type JET.PrintConfig has no field print_toplevel_sucess
│└──────────────
```
```
@ src/JET.jl:362 JET.insert!(Base.getproperty(defsig::Any,
:args::Symbol)::Any, 2, JET.Expr(:parameters::Symbol, $(Expr(:copyast,
:($(QuoteNode(:(jetconfigs...))))))::Expr)::Expr)
│┌ @ bitarray.jl:887 Base._insert_int!(B::BitVector,
Base.Int(i::Int64)::Int64, item::Expr)
││┌ @ bitarray.jl:892 Base.convert(Base.Bool, item::Expr)
│││ no matching method found for call signature: Base.convert(Base.Bool,
item::Expr)
││└───────────────────
```
```
┌ @ src/reports.jl:83
Core.kwfunc(JET._print_signature)::JET.var"#_print_signature##kw"(Core.apply_type(Core.NamedTuple,
(:annotate_types, :bold)::Tuple{Symbol,
Symbol})::Type{NamedTuple{(:annotate_types, :bold), T} where
T<:Tuple}(Core.tuple(true, true)::Tuple{Bool,
Bool})::NamedTuple{(:annotate_types, :bold), Tuple{Bool, Bool}},
JET._print_signature, io::IO, a::Any)
│ no matching method found for call signature:
Core.kwfunc(JET._print_signature)::JET.var"#_print_signature##kw"(Core.apply_type(Core.NamedTuple,
(:annotate_types, :bold)::Tuple{Symbol,
Symbol})::Type{NamedTuple{(:annotate_types, :bold), T} where
T<:Tuple}(Core.tuple(true, true)::Tuple{Bool,
Bool})::NamedTuple{(:annotate_types, :bold), Tuple{Bool, Bool}},
JET._print_signature, io::IO, a::Any)
└─────────────────────
```
> `./jet src/JET.jl`
```
[toplevel-info] entered into src/JET.jl
[toplevel-info] entered into src/reports.jl
[toplevel-info] exited from src/reports.jl (took 2.025 sec)
[toplevel-info] entered into src/abstractinterpreterinterface.jl
[toplevel-info] exited from src/abstractinterpreterinterface.jl (took
1.0 sec)
[toplevel-info] entered into src/jetcache.jl
[toplevel-info] exited from src/jetcache.jl (took 0.022 sec)
[toplevel-info] entered into src/tfuncs.jl
[toplevel-info] exited from src/tfuncs.jl (took 0.312 sec)
[toplevel-info] entered into src/abstractinterpretation.jl
[toplevel-info] exited from src/abstractinterpretation.jl (took 0.396
sec)
[toplevel-info] entered into src/typeinfer.jl
[toplevel-info] exited from src/typeinfer.jl (took 0.093 sec)
[toplevel-info] entered into src/optimize.jl
[toplevel-info] exited from src/optimize.jl (took 0.001 sec)
[toplevel-info] entered into src/print.jl
[toplevel-info] exited from src/print.jl (took 0.114 sec)
[toplevel-info] entered into src/virtualprocess.jl
[toplevel-info] exited from src/virtualprocess.jl (took 1.129 sec)
[toplevel-info] entered into src/watch.jl
[toplevel-info] exited from src/watch.jl (took 0.148 sec)
[toplevel-info] exited from src/JET.jl (took 13.467 sec)
═════ 50 possible errors found ═════
┌ @ src/abstractinterpreterinterface.jl:312
JET.JETInterpreter(Core.kwfunc(JET.NativeInterpreter)(Core.apply_type(Core.NamedTuple,
(:inf_params, :opt_params))(Core.tuple(inf_params, opt_params)),
JET.NativeInterpreter, world), Base.getindex(JET.InferenceErrorReport),
Base.getindex(JET.UncaughtExceptionReport), Core.apply_type(JET.Set,
JET.InferenceErrorReport)(), current_frame, cache, analysis_params,
false, concretized, toplevelmod, toplevelmods, global_slots, logger,
depth)
│┌ @ src/abstractinterpreterinterface.jl:290
Base.convert(Core.fieldtype(JET.JETInterpreter, 6),
Core.getfield(Core.tuple(Core.tuple(native), args...), 6, false))
││┌ @
/Users/aviatesk/julia/julia/usr/share/julia/stdlib/v1.7/LinearAlgebra/src/factorization.jl:58
_(f)
│││ no matching method found for call signature:
_::Type{Vector{JET.AnalysisResult}}(f::LinearAlgebra.Factorization)
││└─────────────────────────────────────────────────────────────────────────────────────────────────
│┌ @ src/abstractinterpreterinterface.jl:290
Base.convert(Core.fieldtype(JET.JETInterpreter, 9),
Core.getfield(Core.tuple(Core.tuple(native), args...), 9, false))
││┌ @
/Users/aviatesk/julia/julia/usr/share/julia/stdlib/v1.7/LinearAlgebra/src/factorization.jl:58
_(f)
│││┌ @ bitarray.jl:575 Base.gen_bitarrayN(Core.apply_type(Base.BitArray,
_), Base.IteratorSize(itr), itr)
││││┌ @ bitarray.jl:604 Base.gen_bitarray(itsz, itr)
│││││┌ @ bitarray.jl:598 Base.length(itr)
││││││ no matching method found for call signature:
Base.length(itr::LinearAlgebra.Factorization)
│││││└───────────────────
┌ @ src/jetcache.jl:99 JET.cache_lookup(linfo, given_argtypes,
Base.getproperty(cache, :cache))
│┌ @ compiler/inferenceresult.jl:155
Core.Compiler.is_argtype_match(Core.Compiler.getindex(given_argtypes,
i), Core.Compiler.getindex(cache_argtypes, i),
Core.Compiler.getindex(cache_overridden_by_const, i))
││┌ @ compiler/inferenceresult.jl:7
Core.Compiler.is_lattice_equal(given_argtype, cache_argtype)
│││┌ @ compiler/typelattice.jl:265
Core.Compiler.is_lattice_equal(Core.Compiler.getproperty(a, :env),
Core.Compiler.getproperty(b, :env))
││││┌ @ compiler/typelattice.jl:267 Core.Compiler.⊑(a, b)
│││││┌ @ compiler/typelattice.jl:166 Core.Compiler.issubconditional(a,
b)
││││││ for any of the union split cases, no matching method found for
call signature:
Core.Compiler.issubconditional(a::Union{Core.Compiler.Conditional,
Core.InterConditional}, b::Union{Core.Compiler.Conditional,
Core.InterConditional})
│││││└───────────────────────────────
┌ @ src/tfuncs.jl:124 JET.return_type_tfunc(Base.getproperty(interp,
:native), argtypes, sv)
│┌ @ compiler/tfuncs.jl:1616 Core.Compiler.abstract_call(interp,
Core.Compiler.nothing, argtypes_vec, sv, -1)
││┌ @ compiler/abstractinterpretation.jl:1285
Core.Compiler.abstract_call_gf_by_type(interp, Core.Compiler.nothing,
fargs, argtypes, Core.Compiler.argtypes_to_type(argtypes), sv,
max_methods)
│││┌ @ compiler/abstractinterpretation.jl:213
Core.Compiler.union!(Core.Compiler.getproperty(sv, :pclimitations),
Core.Compiler.getproperty(rettype, :causes))
││││┌ @ abstractset.jl:91 Core.Compiler.push!(s, x)
│││││┌ @ idset.jl:20
Core.Compiler.setindex!(Core.Compiler.getproperty(s, :dict),
Core.Compiler.nothing, x)
││││││┌ @ iddict.jl:87 Core.Compiler.limitrepr(key)
│││││││ variable Core.Compiler.limitrepr is not defined:
Core.Compiler.limitrepr(key::Any)
││││││└────────────────
│││┌ @ compiler/abstractinterpretation.jl:179
Core.Compiler.tmerge(rettype, this_rt)
││││┌ @ compiler/typelimits.jl:384 Core.Compiler.nfields_tfunc(typea)
│││││┌ @ compiler/tfuncs.jl:415
Core.Compiler.nfields_tfunc(Core.Compiler.getproperty(x, :a))
││││││┌ @ compiler/tfuncs.jl:417 Core.Compiler.tmerge(na,
Core.Compiler.nfields_tfunc(Core.Compiler.getproperty(x, :b)))
│││││││┌ @ compiler/typelimits.jl:394
Core.Compiler.getfield_tfunc(typea, Core.Compiler.Const(i))
││││││││┌ @ compiler/tfuncs.jl:837 Core.Compiler.getfield_tfunc(_ts,
name)
│││││││││┌ @ compiler/tfuncs.jl:837 Core.Compiler.getfield_tfunc(_ts,
name)
││││││││││┌ @ compiler/tfuncs.jl:850
Core.Compiler.==(Core.Compiler.length(ftypes), 1)
│││││││││││┌ @ promotion.jl:359 Core.Compiler.promote(x, y)
││││││││││││┌ @ promotion.jl:292
Core.Compiler.not_sametype(Core.tuple(x, y), Core.tuple(px, py))
│││││││││││││┌ @ promotion.jl:309 Core.Compiler.sametype_error(x)
││││││││││││││┌ @ promotion.jl:315 Core.Compiler.map(#39, input)
│││││││││││││││┌ @ tuple.jl:214 f(Core.Compiler.getindex(t, 2))
││││││││││││││││┌ @ promotion.jl:316
Core.Compiler.string(Core.Compiler.typeof(x))
│││││││││││││││││ variable Core.Compiler.string is not defined:
Core.Compiler.string(Core.Compiler.typeof(x::Int64)::Type{Int64})
││││││││││││││││└────────────────────
│││││││││││││││┌ @ tuple.jl:214 f(Core.Compiler.getindex(t, 1))
││││││││││││││││┌ @ promotion.jl:316
Core.Compiler.string(Core.Compiler.typeof(x))
│││││││││││││││││ variable Core.Compiler.string is not defined:
Core.Compiler.string(Core.Compiler.typeof(x::Number)::Type{var"#s459"}
where var"#s459"<:Number)
││││││││││││││││└────────────────────
││││││││││││││┌ @ promotion.jl:315
Core.Compiler.join(Core.Compiler.map(#39, input), ", ", " and ")
│││││││││││││││ variable Core.Compiler.join is not defined:
Core.Compiler.join(Core.Compiler.map(#39::Core.Compiler.var"#39#40",
input::Tuple{Number, Int64})::Tuple{Any, Any}, ", ", " and ")
││││││││││││││└────────────────────
││││││┌ @ iddict.jl:87
Core.Compiler.string(Core.Compiler.limitrepr(key), " is not a valid key
for type ", _)
│││││││ variable Core.Compiler.string is not defined:
Core.Compiler.string(Core.Compiler.limitrepr(key::Any)::Any, " is not a
valid key for type ", _::Type{Core.Compiler.InferenceState})
││││││└────────────────
┌ @ src/abstractinterpretation.jl:222
JET.abstract_call_method(newinterp, Base.getproperty(mm, :method),
Base.getproperty(mm, :spec_types), Base.getproperty(mm, :sparams),
false, sv)
│┌ @ src/abstractinterpretation.jl:245 Base.getproperty(method,
:is_for_opaque_closure)
││┌ @ compiler/abstractinterpretation.jl:472
Core.Compiler.typeinf_edge(interp, method, Core.getfield(sig,
:contents), sparams, sv)
│││┌ @ compiler/typeinfer.jl:816 Core.Compiler.InferenceState(result,
true, interp)
││││┌ @ compiler/inferencestate.jl:156
Core.Compiler.validate_code_in_debug_mode(Core.Compiler.getproperty(result,
:linfo), src, "lowered")
│││││┌ @ compiler/validation.jl:62 Core.Compiler.validate_code(linfo,
src)
││││││┌ @ compiler/validation.jl:220
Core.Compiler.validate_code!(Core.tuple(Core.apply_type(Core.Compiler.Vector,
Core.Compiler.InvalidCodeError)()), args...)
│││││││┌ @ compiler/validation.jl:209 Core.Compiler.!=(n_sig_params,
mnargs)
││││││││┌ @ operators.jl:264 Core.Compiler.==(x, y)
│││││││││┌ @ promotion.jl:359 Core.Compiler.promote(x, y)
││││││││││┌ @ promotion.jl:292 Core.Compiler.not_sametype(Core.tuple(x,
y), Core.tuple(px, py))
│││││││││││┌ @ promotion.jl:309 Core.Compiler.sametype_error(x)
││││││││││││┌ @ promotion.jl:315
Core.Compiler.join(Core.Compiler.map(#39, input), ", ", " and ")
│││││││││││││ variable Core.Compiler.join is not defined:
Core.Compiler.join(Core.Compiler.map(#39::Core.Compiler.var"#39#40",
input::Tuple{Number, Int32})::Tuple{Any, Any}, ", ", " and ")
││││││││││││└────────────────────
│││┌ @ compiler/typeinfer.jl:825 Core.Compiler.typeinf(interp, frame)
││││┌ @ compiler/typeinfer.jl:205 Core.Compiler._typeinf(interp, frame)
│││││┌ @ src/typeinfer.jl:98 Base.getproperty(frame, :src)
││││││┌ @ compiler/typeinfer.jl:255 Core.Compiler.optimize(interp, opt,
Core.Compiler.OptimizationParams(interp), result_type)
│││││││┌ @ src/optimize.jl:12 JET.optimize(Base.getproperty(interp,
:native), opt, params, result)
││││││││┌ @ compiler/optimize.jl:296
Core.Compiler.run_passes(Core.Compiler.getproperty(opt, :src), nargs,
opt)
│││││││││┌ @ compiler/ssair/driver.jl:125 Core.Compiler.slot2reg(ir, ci,
nargs, sv)
││││││││││┌ @ compiler/ssair/driver.jl:116
Core.Compiler.construct_domtree(Core.Compiler.getproperty(Core.Compiler.getproperty(ir,
:cfg), :blocks))
│││││││││││┌ @ compiler/ssair/domtree.jl:204
Core.Compiler.update_domtree!(blocks, Core.Compiler.DomTree(), true, 0)
││││││││││││┌ @ compiler/ssair/domtree.jl:210
Core.Compiler.DFS!(Core.Compiler.getproperty(domtree, :dfs_tree),
blocks)
│││││││││││││┌ @ compiler/ssair/domtree.jl:113 Core.Compiler.copy!(D,
Core.Compiler.DFSTree(Core.Compiler.length(blocks)))
││││││││││││││┌ @ compiler/ssair/domtree.jl:102
Core.Compiler.copy!(Core.Compiler.getproperty(dst, :to_pre),
Core.Compiler.getproperty(src, :to_pre))
│││││││││││││││┌ @ abstractarray.jl:826 Core.Compiler.eachindex(dst,
src)
││││││││││││││││┌ @ abstractarray.jl:305
Core.Compiler.eachindex(Core.Compiler.IndexStyle(A, B), A, B)
│││││││││││││││││┌ @ abstractarray.jl:316
Core.Compiler.broadcasted(Core.Compiler.eachindex, B)
││││││││││││││││││ variable Core.Compiler.broadcasted is not defined:
Core.Compiler.broadcasted(Core.Compiler.eachindex,
B::Tuple{Vector{Int64}})
│││││││││││││││││└────────────────────────
│││││││││┌ @ compiler/ssair/driver.jl:129
Core.Compiler.ssa_inlining_pass!(ir, Core.Compiler.getproperty(ir,
:linetable), Core.Compiler.getproperty(sv, :inlining),
Core.Compiler.getproperty(ci, :propagate_inbounds))
││││││││││┌ @ compiler/ssair/inlining.jl:75
Core.Compiler.batch_inline!(todo, ir, linetable, propagate_inbounds)
│││││││││││┌ @ compiler/ssair/inlining.jl:573
Core.Compiler.ir_inline_unionsplit!(compact, idx, argexprs, linetable,
item, boundscheck, Core.Compiler.getproperty(state, :todo_bbs))
││││││││││││┌ @ compiler/ssair/inlining.jl:470
Core.Compiler.setindex!(argexprs′,
Core.Compiler.insert_node_here!(compact,
Core.Compiler.NewInstruction(Core.Compiler.PiNode(Core.Compiler.getindex(argexprs′,
i), m), m, line)), i)
│││││││││││││┌ @ abstractarray.jl:1267
Core.Compiler._setindex!(Core.tuple(Core.Compiler.IndexStyle(A), A, v),
Core.Compiler.to_indices(A, I)...)
││││││││││││││┌ @ abstractarray.jl:1282 Core.Compiler.string("setindex!
for ", Core.Compiler.typeof(A), " with types ", Core.Compiler.typeof(I),
" is not supported")
│││││││││││││││ variable Core.Compiler.string is not defined:
Core.Compiler.string("setindex! for ",
Core.Compiler.typeof(A::Vector{Any})::Type{Vector{Any}}, " with types ",
Core.Compiler.typeof(I::Tuple{Any})::Type{var"#s459"} where
var"#s459"<:Tuple{Any}, " is not supported")
││││││││││││││└─────────────────────────
││││││││││┌ @ compiler/ssair/driver.jl:118
Core.Compiler.construct_ssa!(ci, ir, domtree, defuse_insts, nargs,
Core.Compiler.getproperty(sv, :slottypes))
│││││││││││┌ @ compiler/ssair/slot2ssa.jl:906
Core.Compiler.domsort_ssa!(ir, domtree)
││││││││││││┌ @ compiler/ssair/slot2ssa.jl:400
Core.Compiler.sort(Core.Compiler.filter(#331, cs))
│││││││││││││┌ @ sort.jl:794
Core.Compiler.Sort.#sort#9(Core.Compiler.pairs(Core.NamedTuple()),
#self#, v)
││││││││││││││┌ @ sort.jl:794
Core.Compiler.Sort.sort!(Core.Compiler.Sort.copymutable(v))
│││││││││││││││┌ @ sort.jl:735
Core.Compiler.Sort.#sort!#8(Core.Compiler.Sort.defalg(v),
Core.Compiler.Sort.isless, Core.Compiler.Sort.identity,
Core.Compiler.Sort.nothing, Core.Compiler.Sort.Forward, #self#, v)
││││││││││││││││┌ @ sort.jl:743 Core.Compiler.Sort.sort_int_range!(v,
rangelen, min, _21)
│││││││││││││││││┌ @ sort.jl:759 Core.Compiler.Sort.firstindex(x)
││││││││││││││││││ variable Core.Compiler.Sort.firstindex is not
defined: Core.Compiler.Sort.firstindex(x::Vector{Int64})
│││││││││││││││││└───────────────
│││││││││││││││││┌ @ sort.jl:764 Core.Compiler.setindex!(x, val, j)
││││││││││││││││││┌ @ abstractarray.jl:1267 Core.Compiler.to_indices(A,
I)
│││││││││││││││││││┌ @ indices.jl:330 Core.Compiler.to_indices(A, (), I)
││││││││││││││││││││┌ @ indices.jl:333 Core.Compiler.to_index(A,
Core.Compiler.getindex(I, 1))
│││││││││││││││││││││┌ @ indices.jl:277 Core.Compiler.to_index(i)
││││││││││││││││││││││┌ @ indices.jl:293 Core.Compiler.string("invalid
index: ", i, " of type Bool")
│││││││││││││││││││││││ variable Core.Compiler.string is not defined:
Core.Compiler.string("invalid index: ", i::Bool, " of type Bool")
││││││││││││││││││││││└──────────────────
│││││││┌ @ compiler/validation.jl:215
Core.Compiler.validate_code!(errors, c, is_top_level)
││││││││┌ @ compiler/validation.jl:124 Core.Compiler.in(nargs,
narg_bounds)
│││││││││┌ @ range.jl:1239 Core.Compiler._in_range(x, r)
││││││││││┌ @ range.jl:1235
Core.Compiler.+(Core.Compiler.round(Core.Compiler.Integer,
Core.Compiler./(Core.Compiler.-(x, Core.Compiler.first(r)),
Core.Compiler.step(r))), 1)
│││││││││││┌ @ int.jl:924 Core.Compiler.not_sametype(Core.tuple(a, b),
Core.tuple(aT, bT))
││││││││││││┌ @ promotion.jl:309 Core.Compiler.sametype_error(x)
│││││││││││││┌ @ promotion.jl:315
Core.Compiler.join(Core.Compiler.map(#39, input), ", ", " and ")
││││││││││││││ variable Core.Compiler.join is not defined:
Core.Compiler.join(Core.Compiler.map(#39::Core.Compiler.var"#39#40",
input::Tuple{Integer, Int64})::Tuple{Any, Any}, ", ", " and ")
│││││││││││││└────────────────────
││││││││││││┌ @ promotion.jl:315 Core.Compiler.map(#39, input)
│││││││││││││┌ @ tuple.jl:214 f(Core.Compiler.getindex(t, 2))
││││││││││││││┌ @ promotion.jl:316
Core.Compiler.string(Core.Compiler.typeof(x))
│││││││││││││││ variable Core.Compiler.string is not defined:
Core.Compiler.string(Core.Compiler.typeof(x::Int32)::Type{Int32})
││││││││││││││└────────────────────
│││││││││││││││││┌ @ abstractarray.jl:316
Core.Compiler.materialize(Core.Compiler.broadcasted(Core.Compiler.eachindex,
B))
││││││││││││││││││ variable Core.Compiler.materialize is not defined:
Core.Compiler.materialize(Core.Compiler.broadcasted(Core.Compiler.eachindex,
B::Tuple{Vector{Int64}})::Any)
│││││││││││││││││└────────────────────────
││││││││││┌ @ range.jl:1235 Core.Compiler.-(x, Core.Compiler.first(r))
│││││││││││┌ @ promotion.jl:322 Core.Compiler.promote(x, y)
││││││││││││┌ @ promotion.jl:292
Core.Compiler.not_sametype(Core.tuple(x, y), Core.tuple(px, py))
│││││││││││││┌ @ promotion.jl:309 Core.Compiler.sametype_error(x)
││││││││││││││┌ @ promotion.jl:315
Core.Compiler.join(Core.Compiler.map(#39, input), ", ", " and ")
│││││││││││││││ variable Core.Compiler.join is not defined:
Core.Compiler.join(Core.Compiler.map(#39::Core.Compiler.var"#39#40",
input::Tuple{Int64, Number})::Tuple{Any, Any}, ", ", " and ")
││││││││││││││└────────────────────
│││││││││││┌ @ compiler/ssair/inlining.jl:571
Core.Compiler.ir_inline_item!(compact, idx, argexprs, linetable, item,
boundscheck, Core.Compiler.getproperty(state, :todo_bbs))
││││││││││││┌ @ compiler/ssair/inlining.jl:319
Core.Compiler.:(nargs_def, Core.Compiler.lastindex(argexprs))
│││││││││││││┌ @ range.jl:3 Core.Compiler.promote(a, b)
││││││││││││││┌ @ promotion.jl:292
Core.Compiler.not_sametype(Core.tuple(x, y), Core.tuple(px, py))
│││││││││││││││┌ @ promotion.jl:309 Core.Compiler.sametype_error(x)
││││││││││││││││┌ @ promotion.jl:315
Core.Compiler.join(Core.Compiler.map(#39, input), ", ", " and ")
│││││││││││││││││ variable Core.Compiler.join is not defined:
Core.Compiler.join(Core.Compiler.map(#39::Core.Compiler.var"#39#40",
input::Tuple{Real, Int64})::Tuple{Any, Any}, ", ", " and ")
││││││││││││││││└────────────────────
││││││││┌ @ compiler/validation.jl:122 Core.Compiler.==(narg_bounds,
Core.Compiler.:(-1, -1))
│││││││││┌ @ range.jl:959
Core.Compiler.&(Core.Compiler._has_length_one(s),
Core.Compiler.==(Core.Compiler.first(r), Core.Compiler.first(s)))
││││││││││┌ @ int.jl:924 Core.Compiler.not_sametype(Core.tuple(a, b),
Core.tuple(aT, bT))
│││││││││││┌ @ promotion.jl:309 Core.Compiler.sametype_error(x)
││││││││││││┌ @ promotion.jl:315 Core.Compiler.map(#39, input)
│││││││││││││┌ @ tuple.jl:214 f(Core.Compiler.getindex(t, 1))
││││││││││││││┌ @ promotion.jl:316
Core.Compiler.string(Core.Compiler.typeof(x))
│││││││││││││││ variable Core.Compiler.string is not defined:
Core.Compiler.string(Core.Compiler.typeof(x::Bool)::Type{Bool})
││││││││││││││└────────────────────
││││┌ @ compiler/typeinfer.jl:206
Core.Compiler.Timings.exit_current_timer(frame)
│││││┌ @ compiler/typeinfer.jl:164 Core.Compiler.Timings.backtrace()
││││││┌ @ error.jl:113 Core.Compiler._reformat_bt(Core.typeassert(bt1,
Core.apply_type(Core.Compiler.Vector, Core.apply_type(Core.Compiler.Ptr,
Core.Compiler.Cvoid))), Core.typeassert(bt2,
Core.apply_type(Core.Compiler.Vector, Core.Compiler.Any)))
│││││││┌ @ error.jl:93 Core.Compiler.string("Unexpected extended
backtrace entry tag ", tag, " at bt[", i, "]")
││││││││ variable Core.Compiler.string is not defined:
Core.Compiler.string("Unexpected extended backtrace entry tag ",
tag::UInt64, " at bt[", i::Int64, "]")
│││││││└───────────────
│││┌ @ compiler/typeinfer.jl:815 Core.Compiler.InferenceResult(mi)
││││┌ @ compiler/types.jl:33 #self#(linfo, Core.Compiler.nothing, false)
│││││┌ @ compiler/types.jl:33
Core.Compiler.matching_cache_argtypes(linfo, given_argtypes,
va_override)
││││││┌ @ compiler/inferenceresult.jl:141
Core.Compiler.falses(Core.Compiler.length(cache_argtypes))
│││││││┌ @ bitarray.jl:403 Core.Compiler.falses(dims)
││││││││┌ @ bitarray.jl:405 Core.Compiler.BitArray(Core.Compiler.undef,
dims)
│││││││││┌ @ bitarray.jl:71 Core.apply_type(Core.Compiler.BitArray,
_)(Core.tuple(Core.Compiler.undef), Core.Compiler.map(Core.Compiler.Int,
dims)...)
││││││││││┌ @ bitarray.jl:32 Core.Compiler.string("dimension size must
be ≥ 0, got ", d, " for dimension ", i)
│││││││││││ variable Core.Compiler.string is not defined:
Core.Compiler.string("dimension size must be ≥ 0, got ", d::Int64, " for
dimension ", i::Int64)
││││││││││└──────────────────
││││││││││││┌ @ promotion.jl:315
Core.Compiler.join(Core.Compiler.map(#39, input), ", ", " and ")
│││││││││││││ variable Core.Compiler.join is not defined:
Core.Compiler.join(Core.Compiler.map(#39::Core.Compiler.var"#39#40",
input::Tuple{Bool, Integer})::Tuple{Any, Any}, ", ", " and ")
││││││││││││└────────────────────
│││││││││││││││││┌ @ abstractarray.jl:316
Core.Compiler.throw_eachindex_mismatch_indices(Core.tuple(Core.Compiler.IndexLinear(),
Core.Compiler.eachindex(A)),
Core.Compiler.materialize(Core.Compiler.broadcasted(Core.Compiler.eachindex,
B))...)
││││││││││││││││││┌ @ abstractarray.jl:260 Core.Compiler.join(inds, ",
", " and ")
│││││││││││││││││││ variable Core.Compiler.join is not defined:
Core.Compiler.join(inds::Tuple{Core.Compiler.OneTo{Int64}, Vararg{Any}},
", ", " and ")
││││││││││││││││││└────────────────────────
│││││││││││┌ @ compiler/ssair/inlining.jl:521
Core.Compiler.cfg_inline_unionsplit!(ir, idx, Core.typeassert(item,
Core.Compiler.UnionSplit), state)
││││││││││││┌ @ compiler/ssair/inlining.jl:215
Core.Compiler.inline_into_block!(state, block)
│││││││││││││┌ @ compiler/ssair/inlining.jl:112
Core.Compiler.append!(Core.Compiler.getproperty(state, :new_cfg_blocks),
Core.Compiler.map(Core.Compiler.copy,
Core.Compiler.getindex(Core.Compiler.getproperty(Core.Compiler.getproperty(state,
:cfg), :blocks), new_range)))
││││││││││││││┌ @ array.jl:978 Core.Compiler.copyto!(a,
Core.Compiler.+(Core.Compiler.-(Core.Compiler.length(a), n), 1), items,
Core.Compiler.first(itemindices), n)
│││││││││││││││┌ @ array.jl:299 Core.Compiler._copyto_impl!(dest, doffs,
src, soffs, n)
││││││││││││││││┌ @ array.jl:313 Core.Compiler.unsafe_copyto!(dest,
doffs, src, soffs, n)
│││││││││││││││││┌ @ array.jl:289 Core.Compiler._unsafe_copyto!(dest,
doffs, src, soffs, n)
││││││││││││││││││┌ @ array.jl:235 Core.Compiler.getindex(src,
Core.Compiler.-(Core.Compiler.+(soffs, i), 1))
│││││││││││││││││││┌ @ array.jl:802
Core.Compiler.arrayref($(Expr(:boundscheck)), A, i1)
││││││││││││││││││││ invalid builtin function call:
Core.Compiler.arrayref($(Expr(:boundscheck)), A::Vector{Union{}},
i1::Int64)
│││││││││││││││││││└────────────────
││││││││││││││││││┌ @ abstractarray.jl:1267
Core.Compiler._setindex!(Core.tuple(Core.Compiler.IndexStyle(A), A, v),
Core.Compiler.to_indices(A, I)...)
│││││││││││││││││││┌ @ abstractarray.jl:1282
Core.Compiler.string("setindex! for ", Core.Compiler.typeof(A), " with
types ", Core.Compiler.typeof(I), " is not supported")
││││││││││││││││││││ variable Core.Compiler.string is not defined:
Core.Compiler.string("setindex! for ",
Core.Compiler.typeof(A::Vector{Int64})::Type{Vector{Int64}}, " with
types ", Core.Compiler.typeof(I::Tuple{Any})::Type{var"#s459"} where
var"#s459"<:Tuple{Any}, " is not supported")
│││││││││││││││││││└─────────────────────────
││││││││││││││││││┌ @ abstractarray.jl:260 Core.Compiler.string("all
inputs to eachindex must have the same indices, got ",
Core.Compiler.join(inds, ", ", " and "))
│││││││││││││││││││ variable Core.Compiler.string is not defined:
Core.Compiler.string("all inputs to eachindex must have the same
indices, got ",
Core.Compiler.join(inds::Tuple{Core.Compiler.OneTo{Int64}, Vararg{Any}},
", ", " and ")::Any)
││││││││││││││││││└────────────────────────
│││││││││││││┌ @ compiler/ssair/inlining.jl:111
Core.Compiler.setindex!(Core.Compiler.getproperty(state, :bb_rename),
Core.Compiler.:(Core.Compiler.+(l, 1), Core.Compiler.+(l,
Core.Compiler.length(new_range))), new_range)
││││││││││││││┌ @ array.jl:847 Core.Compiler.setindex_shape_check(X,
Core.Compiler.length(I))
│││││││││││││││┌ @ indices.jl:245
Core.Compiler.throw_setindex_mismatch(X, Core.tuple(i))
││││││││││││││││┌ @ indices.jl:191 Core.Compiler.string("tried to assign
", Core.Compiler.length(X), " elements to ", Core.Compiler.getindex(I,
1), " destinations")
│││││││││││││││││ variable Core.Compiler.string is not defined:
Core.Compiler.string("tried to assign ",
Core.Compiler.length(X::Core.Compiler.UnitRange{Int64})::Int64, "
elements to ", Core.Compiler.getindex(I::Tuple{Int64}, 1)::Int64, "
destinations")
││││││││││││││││└──────────────────
││││┌ @ compiler/inferencestate.jl:157
Core.Compiler.InferenceState(result, src, cached, interp)
│││││┌ @ compiler/inferencestate.jl:63
Core.Compiler.sptypes_from_meth_instance(Core.typeassert(linfo,
Core.Compiler.MethodInstance))
││││││┌ @ compiler/inferencestate.jl:189 Core.Compiler.:(1,
Core.Compiler.length(sigtypes))
│││││││┌ @ range.jl:3 Core.Compiler.promote(a, b)
││││││││┌ @ promotion.jl:292 Core.Compiler.not_sametype(Core.tuple(x,
y), Core.tuple(px, py))
│││││││││┌ @ promotion.jl:309 Core.Compiler.sametype_error(x)
││││││││││┌ @ promotion.jl:315 Core.Compiler.map(#39, input)
│││││││││││┌ @ tuple.jl:214 f(Core.Compiler.getindex(t, 2))
││││││││││││┌ @ promotion.jl:316
Core.Compiler.string(Core.Compiler.typeof(x))
│││││││││││││ variable Core.Compiler.string is not defined:
Core.Compiler.string(Core.Compiler.typeof(x::Real)::Type{var"#s459"}
where var"#s459"<:Real)
││││││││││││└────────────────────
│││││││││││││┌ @ tuple.jl:214 f(Core.Compiler.getindex(t, 2))
││││││││││││││┌ @ promotion.jl:316
Core.Compiler.string(Core.Compiler.typeof(x))
│││││││││││││││ variable Core.Compiler.string is not defined:
Core.Compiler.string(Core.Compiler.typeof(x::Integer)::Type{var"#s459"}
where var"#s459"<:Integer)
││││││││││││││└────────────────────
│││││││││││┌ @ int.jl:924 Core.Compiler.not_sametype(Core.tuple(a, b),
Core.tuple(aT, bT))
││││││││││││┌ @ promotion.jl:309 Core.Compiler.sametype_error(x)
│││││││││││││┌ @ promotion.jl:315
Core.Compiler.join(Core.Compiler.map(#39, input), ", ", " and ")
││││││││││││││ variable Core.Compiler.join is not defined:
Core.Compiler.join(Core.Compiler.map(#39::Core.Compiler.var"#39#40",
input::Tuple{Int64, Integer})::Tuple{Any, Any}, ", ", " and ")
│││││││││││││└────────────────────
│││││││││┌ @ compiler/ssair/driver.jl:133
Core.Compiler.getfield_elim_pass!(ir)
││││││││││┌ @ compiler/ssair/passes.jl:638 Core.Compiler.union!(mid,
intermediaries)
│││││││││││┌ @ abstractset.jl:91 Core.Compiler.push!(s, x)
││││││││││││┌ @ idset.jl:20
Core.Compiler.setindex!(Core.Compiler.getproperty(s, :dict),
Core.Compiler.nothing, x)
│││││││││││││┌ @ iddict.jl:87
Core.Compiler.string(Core.Compiler.limitrepr(key), " is not a valid key
for type ", _)
││││││││││││││ variable Core.Compiler.string is not defined:
Core.Compiler.string(Core.Compiler.limitrepr(key::Any)::Any, " is not a
valid key for type ", _::Type{Int64})
│││││││││││││└────────────────
││││││││││││┌ @ compiler/ssair/domtree.jl:218
Core.Compiler.compute_domtree_nodes!(domtree)
│││││││││││││┌ @ compiler/ssair/domtree.jl:224
Core.Compiler.copy!(Core.Compiler.getproperty(domtree, :nodes), _6)
││││││││││││││┌ @ abstractarray.jl:826 Core.Compiler.eachindex(dst, src)
│││││││││││││││┌ @ abstractarray.jl:305
Core.Compiler.eachindex(Core.Compiler.IndexStyle(A, B), A, B)
││││││││││││││││┌ @ abstractarray.jl:316
Core.Compiler.broadcasted(Core.Compiler.eachindex, B)
│││││││││││││││││ variable Core.Compiler.broadcasted is not defined:
Core.Compiler.broadcasted(Core.Compiler.eachindex,
B::Tuple{Vector{Core.Compiler.DomTreeNode}})
││││││││││││││││└────────────────────────
││││││││││││││││┌ @ abstractarray.jl:316
Core.Compiler.materialize(Core.Compiler.broadcasted(Core.Compiler.eachindex,
B))
│││││││││││││││││ variable Core.Compiler.materialize is not defined:
Core.Compiler.materialize(Core.Compiler.broadcasted(Core.Compiler.eachindex,
B::Tuple{Vector{Core.Compiler.DomTreeNode}})::Any)
││││││││││││││││└────────────────────────
│││││││││┌ @ compiler/ssair/driver.jl:142 Core.Compiler.verify_ir(ir)
││││││││││┌ @ compiler/ssair/verify.jl:67 #self#(ir, true)
│││││││││││┌ @ compiler/ssair/verify.jl:114
Core.Compiler.!=(Core.Compiler.getproperty(block, :succs),
Core.Compiler.vect(Core.Compiler.getindex(Core.Compiler.getproperty(terminator,
:args), 1), Core.Compiler.+(idx, 1)))
││││││││││││┌ @ operators.jl:264 Core.Compiler.!(Core.Compiler.==(x, y))
│││││││││││││ for any of the union split cases, no matching method found
for call signature: Core.Compiler.!(Core.Compiler.==(x::Vector{Int64},
y::Vector{_A} where _A)::Union{Core.Compiler.Missing, Bool})
││││││││││││└────────────────────
│││││││││││││┌ @ iddict.jl:87 Core.Compiler.limitrepr(key)
││││││││││││││ variable Core.Compiler.limitrepr is not defined:
Core.Compiler.limitrepr(key::Any)
│││││││││││││└────────────────
││││││││││┌ @ promotion.jl:315 Core.Compiler.join(Core.Compiler.map(#39,
input), ", ", " and ")
│││││││││││ variable Core.Compiler.join is not defined:
Core.Compiler.join(Core.Compiler.map(#39::Core.Compiler.var"#39#40",
input::Tuple{Int64, Real})::Tuple{Any, Any}, ", ", " and ")
││││││││││└────────────────────
┌ @ src/virtualprocess.jl:177 #self#(s, filename, virtualmod,
actualmodsym, interp, config, JET.gen_virtual_process_result())
│┌ @ src/virtualprocess.jl:193 JET.virtual_process!(toplevelex,
filename, virtualmod, actualmodsym, interp, config, res)
││┌ @ src/virtualprocess.jl:333 JET.partially_interpret!(interp′,
virtualmod, src)
│││┌ @ src/virtualprocess.jl:440 JET.select_statements(src,
Base.getproperty(interp, :config))
││││┌ @
/Users/aviatesk/.julia/packages/MacroTools/gME9C/src/match/macro.jl:72
MacroTools.trymatch(pat, stmt)
│││││┌ @
/Users/aviatesk/.julia/packages/MacroTools/gME9C/src/match/match.jl:112
MacroTools.match(pat, ex)
││││││┌ @
/Users/aviatesk/.julia/packages/MacroTools/gME9C/src/match/match.jl:107
MacroTools.match(pat, ex, MacroTools.Dict())
│││││││┌ @
/Users/aviatesk/.julia/packages/MacroTools/gME9C/src/match/match.jl:100
MacroTools.bname(pat)
││││││││┌ @
/Users/aviatesk/.julia/packages/MacroTools/gME9C/src/match/match.jl:27
Base.getproperty(Base.getproperty(MacroTools.Base,
:match)(r"^@?(.*?)_+(_str)?$", MacroTools.string(s)), :captures)
│││││││││┌ @ Base.jl:33 Base.getfield(x, f)
││││││││││ type Nothing has no field captures
│││││││││└──────────────
┌ @ src/virtualprocess.jl:217 JET.MissingConcretization(err, st,
Core.getfield(#self#, :filename),
Base.getproperty(Core.typeassert(Core.getfield(Core.getfield(#self#,
:lnn), :contents), JET.LineNumberNode), :line))
│┌ @ src/reports.jl:53
Base.convert(Core.fieldtype(JET.MissingConcretization, 2), st)
││┌ @
/Users/aviatesk/julia/julia/usr/share/julia/stdlib/v1.7/LinearAlgebra/src/factorization.jl:58
_(f)
│││ no matching method found for call signature:
_::Type{Vector{Base.StackTraces.StackFrame}}(f::LinearAlgebra.Factorization)
││└─────────────────────────────────────────────────────────────────────────────────────────────────
┌ @ src/virtualprocess.jl:455 JET.CodeEdges(src)
│┌ @
/Users/aviatesk/julia/packages/LoweredCodeUtils/src/codeedges.jl:371
LoweredCodeUtils.CodeEdges(Base.collect(Base.Generator(#23,
LoweredCodeUtils.:(1, n))), Base.collect(Base.Generator(#24,
LoweredCodeUtils.:(1, n))), Core.apply_type(LoweredCodeUtils.Dict,
Core.apply_type(LoweredCodeUtils.Union, LoweredCodeUtils.GlobalRef,
LoweredCodeUtils.Symbol), LoweredCodeUtils.Variable)())
││┌ @
/Users/aviatesk/julia/packages/LoweredCodeUtils/src/codeedges.jl:367
Base.convert(Core.fieldtype(LoweredCodeUtils.CodeEdges, 1), preds)
│││┌ @
/Users/aviatesk/julia/julia/usr/share/julia/stdlib/v1.7/LinearAlgebra/src/factorization.jl:58
_(f)
││││ no matching method found for call signature:
_::Type{Vector{Vector{Int64}}}(f::LinearAlgebra.Factorization)
│││└─────────────────────────────────────────────────────────────────────────────────────────────────
┌ @ src/virtualprocess.jl:516 JET.lines_required!(concretize, src,
edges)
│┌ @
/Users/aviatesk/julia/packages/LoweredCodeUtils/src/codeedges.jl:593
LoweredCodeUtils.#lines_required!#32(Base.pairs(Core.NamedTuple()),
#self#, isrequired, src, edges)
││┌ @
/Users/aviatesk/julia/packages/LoweredCodeUtils/src/codeedges.jl:594
LoweredCodeUtils.lines_required!(isrequired, objs, src, edges)
│││┌ @
/Users/aviatesk/julia/packages/LoweredCodeUtils/src/codeedges.jl:604
LoweredCodeUtils.#lines_required!#33(false, #self#, isrequired, objs,
src, edges)
││││┌ @
/Users/aviatesk/julia/packages/LoweredCodeUtils/src/codeedges.jl:653
LoweredCodeUtils.any(LoweredCodeUtils.view(isrequired,
Base.getproperty(uses, :succs)))
│││││┌ @ reducedim.jl:894 Base.#any#733(Base.:, #self#, a)
││││││┌ @ reducedim.jl:894 Base._any(a, dims)
│││││││┌ @ reducedim.jl:896 Base._any(Base.identity, a, Base.:)
││││││││┌ @ reduce.jl:1094 Base.iterate(itr)
│││││││││┌ @ abstractarray.jl:1094 #self#(A,
Core.tuple(Base.eachindex(A)))
││││││││││┌ @ multidimensional.jl:580 Base.indexed_iterate(_3, 2, _4)
│││││││││││┌ @ tuple.jl:86 Base.getfield(t, i)
││││││││││││ invalid builtin function call: Base.getfield(t::Tuple{Any},
i::Int64)
│││││││││││└───────────────
│││││││││┌ @ multidimensional.jl:576 Base.IteratorsMD.first(iter)
││││││││││┌ @ abstractarray.jl:368 Base.getindex(a,
Base.first(Base.eachindex(a)))
│││││││││││┌ @ subarray.jl:276
Base.getindex(Core.tuple(Base.getproperty(V, :parent)),
Base.reindex(Base.getproperty(V, :indices), I)...)
││││││││││││┌ @ reshapedarray.jl:234
Base._unsafe_getindex(Core.tuple(A), indices...)
│││││││││││││┌ @ reshapedarray.jl:245 Base.ind2sub_rs(axp,
Base.getproperty(A, :mi), i)
││││││││││││││┌ @ reshapedarray.jl:218 Base._ind2sub_rs(ax, strds,
Base.-(i, 1))
│││││││││││││││┌ @ reshapedarray.jl:221 Base.divrem(ind,
Base.getindex(strds, 1))
││││││││││││││││┌ @ div.jl:148 Base.divrem(x, y, Base.RoundToZero)
│││││││││││││││││┌ @ div.jl:152 Base.div(a, b)
││││││││││││││││││┌ @ div.jl:37 Base.div(a, b, Base.RoundToZero)
│││││││││││││││││││ no matching method found for call signature:
Base.div(a::Any,
b::Base.MultiplicativeInverses.SignedMultiplicativeInverse{Int64},
Base.RoundToZero)
││││││││││││││││││└─────────────
┌ @ src/watch.jl:67 JET._report_and_watch_file(args...)
│┌ @ src/watch.jl:86
JET.#_report_and_watch_file#80(Core.tuple(JET.IOContext(io,
JET.=>(JET.LOGGER_LEVEL_KEY, JET.INFO_LOGGER_LEVEL)),
Base.pairs(Core.NamedTuple()), #self#, io, filename), args...)
││┌ @ src/watch.jl:95 Base.getproperty(JET.Revise, :entr)
│││ variable JET.Revise is not defined: Base.getproperty(JET.Revise,
:entr::Symbol)
││└───────────────────
││┌ @ src/watch.jl:113 Base.getproperty(JET.Revise,
:ReviseEvalException)
│││ variable JET.Revise is not defined: Base.getproperty(JET.Revise,
:ReviseEvalException::Symbol)
││└────────────────────
││┌ @ src/watch.jl:128 Base.getproperty(JET.Revise,
:ReviseEvalException)
│││ variable JET.Revise is not defined: Base.getproperty(JET.Revise,
:ReviseEvalException::Symbol)
││└────────────────────
┌ @ src/watch.jl:67
Core.kwfunc(JET._report_and_watch_file)(Core.tuple(Base.merge(Base.NamedTuple(),
kwargs), JET._report_and_watch_file), args...)
│┌ @ src/watch.jl:86
JET.#_report_and_watch_file#80(Core.tuple(toplevel_logger,
jetconfigs..., _3, io, filename), args...)
││┌ @ src/watch.jl:95 Base.getproperty(JET.Revise, :entr)
│││ variable JET.Revise is not defined: Base.getproperty(JET.Revise,
:entr::Symbol)
││└───────────────────
││┌ @ src/watch.jl:113 Base.getproperty(JET.Revise,
:ReviseEvalException)
│││ variable JET.Revise is not defined: Base.getproperty(JET.Revise,
:ReviseEvalException::Symbol)
││└────────────────────
││┌ @ src/watch.jl:128 Base.getproperty(JET.Revise,
:ReviseEvalException)
│││ variable JET.Revise is not defined: Base.getproperty(JET.Revise,
:ReviseEvalException::Symbol)
││└────────────────────
┌ @ src/JET.jl:780 Base.getproperty(JET.InteractiveUtils,
:gen_call_with_extracted_types_and_kwargs)(__module__, :analyze_call,
ex0)
│┌ @
/Users/aviatesk/julia/julia/usr/share/julia/stdlib/v1.7/InteractiveUtils/src/macros.jl:195
InteractiveUtils.gen_call_with_extracted_types(__module__, fcn, arg,
kws)
││┌ @
/Users/aviatesk/julia/julia/usr/share/julia/stdlib/v1.7/InteractiveUtils/src/macros.jl:40
InteractiveUtils.findlast(#34,
Base.getproperty(Base.getindex(Base.getproperty(ex0, :args), 1), :args))
│││┌ @ array.jl:2104 Base.findprev(testf, A, Base.last(Base.keys(A)))
││││┌ @
/Users/aviatesk/julia/julia/usr/share/julia/stdlib/v1.7/SparseArrays/src/abstractsparse.jl:100
SparseArrays._sparse_findprevnz(v, SparseArrays.prevind(v, j))
│││││┌ @
/Users/aviatesk/julia/julia/usr/share/julia/stdlib/v1.7/SparseArrays/src/abstractsparse.jl:77
SparseArrays.searchsortedlast(I, i)
││││││┌ @ sort.jl:327 Base.Sort.#searchsortedlast#5(Base.Sort.isless,
Base.Sort.identity, Base.Sort.nothing, Base.Sort.Forward, #self#, v, x)
│││││││┌ @ sort.jl:327 Base.Sort.searchsortedlast(v, x,
Base.Sort.ord(lt, by, rev, order))
││││││││┌ @ sort.jl:325 Base.Sort.searchsortedlast(v, x,
Base.Sort.first(inds), Base.Sort.last(inds), o)
│││││││││┌ @ sort.jl:201 Base.Sort.lt(o, x, Base.getindex(v, m))
││││││││││┌ @ ordering.jl:109 Base.Order.isless(a, b)
│││││││││││┌ @ multidimensional.jl:127 Base.IteratorsMD._isless(0,
Base.getproperty(I1, :I), Base.getproperty(I2, :I))
││││││││││││┌ @ multidimensional.jl:130 Base.IteratorsMD._isless(newret,
Base.front(I1), Base.front(I2))
│││││││││││││ for any of the union split cases, no matching method found
for call signature: Base.IteratorsMD._isless(newret::Int64,
Base.front::typeof(Base.front)(I1::Tuple{Vararg{Int64, N}} where
N)::Union{Tuple{}, Tuple{Int64, Vararg{Int64}}},
Base.front::typeof(Base.front)(I2::Tuple{Vararg{Int64, N}} where
N)::Union{Tuple{}, Tuple{Int64, Vararg{Int64}}})
││││││││││││└───────────────────────────
││││││││││││┌ @ multidimensional.jl:130 Base.IteratorsMD._isless(newret,
Base.front(I1), Base.front(I2))
│││││││││││││┌ @ multidimensional.jl:130
Base.IteratorsMD._isless(newret, Base.front(I1), Base.front(I2))
││││││││││││││ for any of the union split cases, no matching method
found for call signature: Base.IteratorsMD._isless(newret::Int64,
Base.front::typeof(Base.front)(I1::Tuple{Vararg{Int64}})::Union{Tuple{},
Tuple{Int64, Vararg{Int64}}},
Base.front::typeof(Base.front)(I2::Tuple{Vararg{Int64}})::Union{Tuple{},
Tuple{Int64, Vararg{Int64}}})
│││││││││││││└───────────────────────────
││││┌ @ array.jl:2059 Base.prevind(A, i)
│││││┌ @ multidimensional.jl:159
Base.IteratorsMD.dec(Base.getproperty(i, :I), Base.getproperty(iter,
:indices))
││││││┌ @ multidimensional.jl:502 Base.IteratorsMD.__dec(state, indices)
│││││││┌ @ multidimensional.jl:521
Base.IteratorsMD.__dec(Base.IteratorsMD.tail(state),
Base.IteratorsMD.tail(indices))
││││││││┌ @ multidimensional.jl:516 Base.getindex(indices, 1)
│││││││││┌ @ tuple.jl:29 Base.getfield(t, i, $(Expr(:boundscheck)))
││││││││││ invalid builtin function call: Base.getfield(t::Tuple{},
i::Int64, $(Expr(:boundscheck)))
│││││││││└───────────────
```
aviatesk
added a commit
that referenced
this pull request
Mar 29, 2021
Out of those 50 errors below, this PR fixes these three cases:
```
┌ @ src/print.jl:166 Base.getproperty(config, :print_toplevel_sucess)
│┌ @ Base.jl:33 Base.getfield(x, f)
││ type JET.PrintConfig has no field print_toplevel_sucess
│└──────────────
```
```
@ src/JET.jl:362 JET.insert!(Base.getproperty(defsig::Any,
:args::Symbol)::Any, 2, JET.Expr(:parameters::Symbol, $(Expr(:copyast,
:($(QuoteNode(:(jetconfigs...))))))::Expr)::Expr)
│┌ @ bitarray.jl:887 Base._insert_int!(B::BitVector,
Base.Int(i::Int64)::Int64, item::Expr)
││┌ @ bitarray.jl:892 Base.convert(Base.Bool, item::Expr)
│││ no matching method found for call signature: Base.convert(Base.Bool,
item::Expr)
││└───────────────────
```
```
┌ @ src/reports.jl:83
Core.kwfunc(JET._print_signature)::JET.var"#_print_signature##kw"(Core.apply_type(Core.NamedTuple,
(:annotate_types, :bold)::Tuple{Symbol,
Symbol})::Type{NamedTuple{(:annotate_types, :bold), T} where
T<:Tuple}(Core.tuple(true, true)::Tuple{Bool,
Bool})::NamedTuple{(:annotate_types, :bold), Tuple{Bool, Bool}},
JET._print_signature, io::IO, a::Any)
│ no matching method found for call signature:
Core.kwfunc(JET._print_signature)::JET.var"#_print_signature##kw"(Core.apply_type(Core.NamedTuple,
(:annotate_types, :bold)::Tuple{Symbol,
Symbol})::Type{NamedTuple{(:annotate_types, :bold), T} where
T<:Tuple}(Core.tuple(true, true)::Tuple{Bool,
Bool})::NamedTuple{(:annotate_types, :bold), Tuple{Bool, Bool}},
JET._print_signature, io::IO, a::Any)
└─────────────────────
```
> `./jet src/JET.jl`
```
[toplevel-info] entered into src/JET.jl
[toplevel-info] entered into src/reports.jl
[toplevel-info] exited from src/reports.jl (took 2.025 sec)
[toplevel-info] entered into src/abstractinterpreterinterface.jl
[toplevel-info] exited from src/abstractinterpreterinterface.jl (took
1.0 sec)
[toplevel-info] entered into src/jetcache.jl
[toplevel-info] exited from src/jetcache.jl (took 0.022 sec)
[toplevel-info] entered into src/tfuncs.jl
[toplevel-info] exited from src/tfuncs.jl (took 0.312 sec)
[toplevel-info] entered into src/abstractinterpretation.jl
[toplevel-info] exited from src/abstractinterpretation.jl (took 0.396
sec)
[toplevel-info] entered into src/typeinfer.jl
[toplevel-info] exited from src/typeinfer.jl (took 0.093 sec)
[toplevel-info] entered into src/optimize.jl
[toplevel-info] exited from src/optimize.jl (took 0.001 sec)
[toplevel-info] entered into src/print.jl
[toplevel-info] exited from src/print.jl (took 0.114 sec)
[toplevel-info] entered into src/virtualprocess.jl
[toplevel-info] exited from src/virtualprocess.jl (took 1.129 sec)
[toplevel-info] entered into src/watch.jl
[toplevel-info] exited from src/watch.jl (took 0.148 sec)
[toplevel-info] exited from src/JET.jl (took 13.467 sec)
═════ 50 possible errors found ═════
┌ @ src/abstractinterpreterinterface.jl:312
JET.JETInterpreter(Core.kwfunc(JET.NativeInterpreter)(Core.apply_type(Core.NamedTuple,
(:inf_params, :opt_params))(Core.tuple(inf_params, opt_params)),
JET.NativeInterpreter, world), Base.getindex(JET.InferenceErrorReport),
Base.getindex(JET.UncaughtExceptionReport), Core.apply_type(JET.Set,
JET.InferenceErrorReport)(), current_frame, cache, analysis_params,
false, concretized, toplevelmod, toplevelmods, global_slots, logger,
depth)
│┌ @ src/abstractinterpreterinterface.jl:290
Base.convert(Core.fieldtype(JET.JETInterpreter, 6),
Core.getfield(Core.tuple(Core.tuple(native), args...), 6, false))
││┌ @
/Users/aviatesk/julia/julia/usr/share/julia/stdlib/v1.7/LinearAlgebra/src/factorization.jl:58
_(f)
│││ no matching method found for call signature:
_::Type{Vector{JET.AnalysisResult}}(f::LinearAlgebra.Factorization)
││└─────────────────────────────────────────────────────────────────────────────────────────────────
│┌ @ src/abstractinterpreterinterface.jl:290
Base.convert(Core.fieldtype(JET.JETInterpreter, 9),
Core.getfield(Core.tuple(Core.tuple(native), args...), 9, false))
││┌ @
/Users/aviatesk/julia/julia/usr/share/julia/stdlib/v1.7/LinearAlgebra/src/factorization.jl:58
_(f)
│││┌ @ bitarray.jl:575 Base.gen_bitarrayN(Core.apply_type(Base.BitArray,
_), Base.IteratorSize(itr), itr)
││││┌ @ bitarray.jl:604 Base.gen_bitarray(itsz, itr)
│││││┌ @ bitarray.jl:598 Base.length(itr)
││││││ no matching method found for call signature:
Base.length(itr::LinearAlgebra.Factorization)
│││││└───────────────────
┌ @ src/jetcache.jl:99 JET.cache_lookup(linfo, given_argtypes,
Base.getproperty(cache, :cache))
│┌ @ compiler/inferenceresult.jl:155
Core.Compiler.is_argtype_match(Core.Compiler.getindex(given_argtypes,
i), Core.Compiler.getindex(cache_argtypes, i),
Core.Compiler.getindex(cache_overridden_by_const, i))
││┌ @ compiler/inferenceresult.jl:7
Core.Compiler.is_lattice_equal(given_argtype, cache_argtype)
│││┌ @ compiler/typelattice.jl:265
Core.Compiler.is_lattice_equal(Core.Compiler.getproperty(a, :env),
Core.Compiler.getproperty(b, :env))
││││┌ @ compiler/typelattice.jl:267 Core.Compiler.⊑(a, b)
│││││┌ @ compiler/typelattice.jl:166 Core.Compiler.issubconditional(a,
b)
││││││ for any of the union split cases, no matching method found for
call signature:
Core.Compiler.issubconditional(a::Union{Core.Compiler.Conditional,
Core.InterConditional}, b::Union{Core.Compiler.Conditional,
Core.InterConditional})
│││││└───────────────────────────────
┌ @ src/tfuncs.jl:124 JET.return_type_tfunc(Base.getproperty(interp,
:native), argtypes, sv)
│┌ @ compiler/tfuncs.jl:1616 Core.Compiler.abstract_call(interp,
Core.Compiler.nothing, argtypes_vec, sv, -1)
││┌ @ compiler/abstractinterpretation.jl:1285
Core.Compiler.abstract_call_gf_by_type(interp, Core.Compiler.nothing,
fargs, argtypes, Core.Compiler.argtypes_to_type(argtypes), sv,
max_methods)
│││┌ @ compiler/abstractinterpretation.jl:213
Core.Compiler.union!(Core.Compiler.getproperty(sv, :pclimitations),
Core.Compiler.getproperty(rettype, :causes))
││││┌ @ abstractset.jl:91 Core.Compiler.push!(s, x)
│││││┌ @ idset.jl:20
Core.Compiler.setindex!(Core.Compiler.getproperty(s, :dict),
Core.Compiler.nothing, x)
││││││┌ @ iddict.jl:87 Core.Compiler.limitrepr(key)
│││││││ variable Core.Compiler.limitrepr is not defined:
Core.Compiler.limitrepr(key::Any)
││││││└────────────────
│││┌ @ compiler/abstractinterpretation.jl:179
Core.Compiler.tmerge(rettype, this_rt)
││││┌ @ compiler/typelimits.jl:384 Core.Compiler.nfields_tfunc(typea)
│││││┌ @ compiler/tfuncs.jl:415
Core.Compiler.nfields_tfunc(Core.Compiler.getproperty(x, :a))
││││││┌ @ compiler/tfuncs.jl:417 Core.Compiler.tmerge(na,
Core.Compiler.nfields_tfunc(Core.Compiler.getproperty(x, :b)))
│││││││┌ @ compiler/typelimits.jl:394
Core.Compiler.getfield_tfunc(typea, Core.Compiler.Const(i))
││││││││┌ @ compiler/tfuncs.jl:837 Core.Compiler.getfield_tfunc(_ts,
name)
│││││││││┌ @ compiler/tfuncs.jl:837 Core.Compiler.getfield_tfunc(_ts,
name)
││││││││││┌ @ compiler/tfuncs.jl:850
Core.Compiler.==(Core.Compiler.length(ftypes), 1)
│││││││││││┌ @ promotion.jl:359 Core.Compiler.promote(x, y)
││││││││││││┌ @ promotion.jl:292
Core.Compiler.not_sametype(Core.tuple(x, y), Core.tuple(px, py))
│││││││││││││┌ @ promotion.jl:309 Core.Compiler.sametype_error(x)
││││││││││││││┌ @ promotion.jl:315 Core.Compiler.map(#39, input)
│││││││││││││││┌ @ tuple.jl:214 f(Core.Compiler.getindex(t, 2))
││││││││││││││││┌ @ promotion.jl:316
Core.Compiler.string(Core.Compiler.typeof(x))
│││││││││││││││││ variable Core.Compiler.string is not defined:
Core.Compiler.string(Core.Compiler.typeof(x::Int64)::Type{Int64})
││││││││││││││││└────────────────────
│││││││││││││││┌ @ tuple.jl:214 f(Core.Compiler.getindex(t, 1))
││││││││││││││││┌ @ promotion.jl:316
Core.Compiler.string(Core.Compiler.typeof(x))
│││││││││││││││││ variable Core.Compiler.string is not defined:
Core.Compiler.string(Core.Compiler.typeof(x::Number)::Type{var"#s459"}
where var"#s459"<:Number)
││││││││││││││││└────────────────────
││││││││││││││┌ @ promotion.jl:315
Core.Compiler.join(Core.Compiler.map(#39, input), ", ", " and ")
│││││││││││││││ variable Core.Compiler.join is not defined:
Core.Compiler.join(Core.Compiler.map(#39::Core.Compiler.var"#39#40",
input::Tuple{Number, Int64})::Tuple{Any, Any}, ", ", " and ")
││││││││││││││└────────────────────
││││││┌ @ iddict.jl:87
Core.Compiler.string(Core.Compiler.limitrepr(key), " is not a valid key
for type ", _)
│││││││ variable Core.Compiler.string is not defined:
Core.Compiler.string(Core.Compiler.limitrepr(key::Any)::Any, " is not a
valid key for type ", _::Type{Core.Compiler.InferenceState})
││││││└────────────────
┌ @ src/abstractinterpretation.jl:222
JET.abstract_call_method(newinterp, Base.getproperty(mm, :method),
Base.getproperty(mm, :spec_types), Base.getproperty(mm, :sparams),
false, sv)
│┌ @ src/abstractinterpretation.jl:245 Base.getproperty(method,
:is_for_opaque_closure)
││┌ @ compiler/abstractinterpretation.jl:472
Core.Compiler.typeinf_edge(interp, method, Core.getfield(sig,
:contents), sparams, sv)
│││┌ @ compiler/typeinfer.jl:816 Core.Compiler.InferenceState(result,
true, interp)
││││┌ @ compiler/inferencestate.jl:156
Core.Compiler.validate_code_in_debug_mode(Core.Compiler.getproperty(result,
:linfo), src, "lowered")
│││││┌ @ compiler/validation.jl:62 Core.Compiler.validate_code(linfo,
src)
││││││┌ @ compiler/validation.jl:220
Core.Compiler.validate_code!(Core.tuple(Core.apply_type(Core.Compiler.Vector,
Core.Compiler.InvalidCodeError)()), args...)
│││││││┌ @ compiler/validation.jl:209 Core.Compiler.!=(n_sig_params,
mnargs)
││││││││┌ @ operators.jl:264 Core.Compiler.==(x, y)
│││││││││┌ @ promotion.jl:359 Core.Compiler.promote(x, y)
││││││││││┌ @ promotion.jl:292 Core.Compiler.not_sametype(Core.tuple(x,
y), Core.tuple(px, py))
│││││││││││┌ @ promotion.jl:309 Core.Compiler.sametype_error(x)
││││││││││││┌ @ promotion.jl:315
Core.Compiler.join(Core.Compiler.map(#39, input), ", ", " and ")
│││││││││││││ variable Core.Compiler.join is not defined:
Core.Compiler.join(Core.Compiler.map(#39::Core.Compiler.var"#39#40",
input::Tuple{Number, Int32})::Tuple{Any, Any}, ", ", " and ")
││││││││││││└────────────────────
│││┌ @ compiler/typeinfer.jl:825 Core.Compiler.typeinf(interp, frame)
││││┌ @ compiler/typeinfer.jl:205 Core.Compiler._typeinf(interp, frame)
│││││┌ @ src/typeinfer.jl:98 Base.getproperty(frame, :src)
││││││┌ @ compiler/typeinfer.jl:255 Core.Compiler.optimize(interp, opt,
Core.Compiler.OptimizationParams(interp), result_type)
│││││││┌ @ src/optimize.jl:12 JET.optimize(Base.getproperty(interp,
:native), opt, params, result)
││││││││┌ @ compiler/optimize.jl:296
Core.Compiler.run_passes(Core.Compiler.getproperty(opt, :src), nargs,
opt)
│││││││││┌ @ compiler/ssair/driver.jl:125 Core.Compiler.slot2reg(ir, ci,
nargs, sv)
││││││││││┌ @ compiler/ssair/driver.jl:116
Core.Compiler.construct_domtree(Core.Compiler.getproperty(Core.Compiler.getproperty(ir,
:cfg), :blocks))
│││││││││││┌ @ compiler/ssair/domtree.jl:204
Core.Compiler.update_domtree!(blocks, Core.Compiler.DomTree(), true, 0)
││││││││││││┌ @ compiler/ssair/domtree.jl:210
Core.Compiler.DFS!(Core.Compiler.getproperty(domtree, :dfs_tree),
blocks)
│││││││││││││┌ @ compiler/ssair/domtree.jl:113 Core.Compiler.copy!(D,
Core.Compiler.DFSTree(Core.Compiler.length(blocks)))
││││││││││││││┌ @ compiler/ssair/domtree.jl:102
Core.Compiler.copy!(Core.Compiler.getproperty(dst, :to_pre),
Core.Compiler.getproperty(src, :to_pre))
│││││││││││││││┌ @ abstractarray.jl:826 Core.Compiler.eachindex(dst,
src)
││││││││││││││││┌ @ abstractarray.jl:305
Core.Compiler.eachindex(Core.Compiler.IndexStyle(A, B), A, B)
│││││││││││││││││┌ @ abstractarray.jl:316
Core.Compiler.broadcasted(Core.Compiler.eachindex, B)
││││││││││││││││││ variable Core.Compiler.broadcasted is not defined:
Core.Compiler.broadcasted(Core.Compiler.eachindex,
B::Tuple{Vector{Int64}})
│││││││││││││││││└────────────────────────
│││││││││┌ @ compiler/ssair/driver.jl:129
Core.Compiler.ssa_inlining_pass!(ir, Core.Compiler.getproperty(ir,
:linetable), Core.Compiler.getproperty(sv, :inlining),
Core.Compiler.getproperty(ci, :propagate_inbounds))
││││││││││┌ @ compiler/ssair/inlining.jl:75
Core.Compiler.batch_inline!(todo, ir, linetable, propagate_inbounds)
│││││││││││┌ @ compiler/ssair/inlining.jl:573
Core.Compiler.ir_inline_unionsplit!(compact, idx, argexprs, linetable,
item, boundscheck, Core.Compiler.getproperty(state, :todo_bbs))
││││││││││││┌ @ compiler/ssair/inlining.jl:470
Core.Compiler.setindex!(argexprs′,
Core.Compiler.insert_node_here!(compact,
Core.Compiler.NewInstruction(Core.Compiler.PiNode(Core.Compiler.getindex(argexprs′,
i), m), m, line)), i)
│││││││││││││┌ @ abstractarray.jl:1267
Core.Compiler._setindex!(Core.tuple(Core.Compiler.IndexStyle(A), A, v),
Core.Compiler.to_indices(A, I)...)
││││││││││││││┌ @ abstractarray.jl:1282 Core.Compiler.string("setindex!
for ", Core.Compiler.typeof(A), " with types ", Core.Compiler.typeof(I),
" is not supported")
│││││││││││││││ variable Core.Compiler.string is not defined:
Core.Compiler.string("setindex! for ",
Core.Compiler.typeof(A::Vector{Any})::Type{Vector{Any}}, " with types ",
Core.Compiler.typeof(I::Tuple{Any})::Type{var"#s459"} where
var"#s459"<:Tuple{Any}, " is not supported")
││││││││││││││└─────────────────────────
││││││││││┌ @ compiler/ssair/driver.jl:118
Core.Compiler.construct_ssa!(ci, ir, domtree, defuse_insts, nargs,
Core.Compiler.getproperty(sv, :slottypes))
│││││││││││┌ @ compiler/ssair/slot2ssa.jl:906
Core.Compiler.domsort_ssa!(ir, domtree)
││││││││││││┌ @ compiler/ssair/slot2ssa.jl:400
Core.Compiler.sort(Core.Compiler.filter(#331, cs))
│││││││││││││┌ @ sort.jl:794
Core.Compiler.Sort.#sort#9(Core.Compiler.pairs(Core.NamedTuple()),
#self#, v)
││││││││││││││┌ @ sort.jl:794
Core.Compiler.Sort.sort!(Core.Compiler.Sort.copymutable(v))
│││││││││││││││┌ @ sort.jl:735
Core.Compiler.Sort.#sort!#8(Core.Compiler.Sort.defalg(v),
Core.Compiler.Sort.isless, Core.Compiler.Sort.identity,
Core.Compiler.Sort.nothing, Core.Compiler.Sort.Forward, #self#, v)
││││││││││││││││┌ @ sort.jl:743 Core.Compiler.Sort.sort_int_range!(v,
rangelen, min, _21)
│││││││││││││││││┌ @ sort.jl:759 Core.Compiler.Sort.firstindex(x)
││││││││││││││││││ variable Core.Compiler.Sort.firstindex is not
defined: Core.Compiler.Sort.firstindex(x::Vector{Int64})
│││││││││││││││││└───────────────
│││││││││││││││││┌ @ sort.jl:764 Core.Compiler.setindex!(x, val, j)
││││││││││││││││││┌ @ abstractarray.jl:1267 Core.Compiler.to_indices(A,
I)
│││││││││││││││││││┌ @ indices.jl:330 Core.Compiler.to_indices(A, (), I)
││││││││││││││││││││┌ @ indices.jl:333 Core.Compiler.to_index(A,
Core.Compiler.getindex(I, 1))
│││││││││││││││││││││┌ @ indices.jl:277 Core.Compiler.to_index(i)
││││││││││││││││││││││┌ @ indices.jl:293 Core.Compiler.string("invalid
index: ", i, " of type Bool")
│││││││││││││││││││││││ variable Core.Compiler.string is not defined:
Core.Compiler.string("invalid index: ", i::Bool, " of type Bool")
││││││││││││││││││││││└──────────────────
│││││││┌ @ compiler/validation.jl:215
Core.Compiler.validate_code!(errors, c, is_top_level)
││││││││┌ @ compiler/validation.jl:124 Core.Compiler.in(nargs,
narg_bounds)
│││││││││┌ @ range.jl:1239 Core.Compiler._in_range(x, r)
││││││││││┌ @ range.jl:1235
Core.Compiler.+(Core.Compiler.round(Core.Compiler.Integer,
Core.Compiler./(Core.Compiler.-(x, Core.Compiler.first(r)),
Core.Compiler.step(r))), 1)
│││││││││││┌ @ int.jl:924 Core.Compiler.not_sametype(Core.tuple(a, b),
Core.tuple(aT, bT))
││││││││││││┌ @ promotion.jl:309 Core.Compiler.sametype_error(x)
│││││││││││││┌ @ promotion.jl:315
Core.Compiler.join(Core.Compiler.map(#39, input), ", ", " and ")
││││││││││││││ variable Core.Compiler.join is not defined:
Core.Compiler.join(Core.Compiler.map(#39::Core.Compiler.var"#39#40",
input::Tuple{Integer, Int64})::Tuple{Any, Any}, ", ", " and ")
│││││││││││││└────────────────────
││││││││││││┌ @ promotion.jl:315 Core.Compiler.map(#39, input)
│││││││││││││┌ @ tuple.jl:214 f(Core.Compiler.getindex(t, 2))
││││││││││││││┌ @ promotion.jl:316
Core.Compiler.string(Core.Compiler.typeof(x))
│││││││││││││││ variable Core.Compiler.string is not defined:
Core.Compiler.string(Core.Compiler.typeof(x::Int32)::Type{Int32})
││││││││││││││└────────────────────
│││││││││││││││││┌ @ abstractarray.jl:316
Core.Compiler.materialize(Core.Compiler.broadcasted(Core.Compiler.eachindex,
B))
││││││││││││││││││ variable Core.Compiler.materialize is not defined:
Core.Compiler.materialize(Core.Compiler.broadcasted(Core.Compiler.eachindex,
B::Tuple{Vector{Int64}})::Any)
│││││││││││││││││└────────────────────────
││││││││││┌ @ range.jl:1235 Core.Compiler.-(x, Core.Compiler.first(r))
│││││││││││┌ @ promotion.jl:322 Core.Compiler.promote(x, y)
││││││││││││┌ @ promotion.jl:292
Core.Compiler.not_sametype(Core.tuple(x, y), Core.tuple(px, py))
│││││││││││││┌ @ promotion.jl:309 Core.Compiler.sametype_error(x)
││││││││││││││┌ @ promotion.jl:315
Core.Compiler.join(Core.Compiler.map(#39, input), ", ", " and ")
│││││││││││││││ variable Core.Compiler.join is not defined:
Core.Compiler.join(Core.Compiler.map(#39::Core.Compiler.var"#39#40",
input::Tuple{Int64, Number})::Tuple{Any, Any}, ", ", " and ")
││││││││││││││└────────────────────
│││││││││││┌ @ compiler/ssair/inlining.jl:571
Core.Compiler.ir_inline_item!(compact, idx, argexprs, linetable, item,
boundscheck, Core.Compiler.getproperty(state, :todo_bbs))
││││││││││││┌ @ compiler/ssair/inlining.jl:319
Core.Compiler.:(nargs_def, Core.Compiler.lastindex(argexprs))
│││││││││││││┌ @ range.jl:3 Core.Compiler.promote(a, b)
││││││││││││││┌ @ promotion.jl:292
Core.Compiler.not_sametype(Core.tuple(x, y), Core.tuple(px, py))
│││││││││││││││┌ @ promotion.jl:309 Core.Compiler.sametype_error(x)
││││││││││││││││┌ @ promotion.jl:315
Core.Compiler.join(Core.Compiler.map(#39, input), ", ", " and ")
│││││││││││││││││ variable Core.Compiler.join is not defined:
Core.Compiler.join(Core.Compiler.map(#39::Core.Compiler.var"#39#40",
input::Tuple{Real, Int64})::Tuple{Any, Any}, ", ", " and ")
││││││││││││││││└────────────────────
││││││││┌ @ compiler/validation.jl:122 Core.Compiler.==(narg_bounds,
Core.Compiler.:(-1, -1))
│││││││││┌ @ range.jl:959
Core.Compiler.&(Core.Compiler._has_length_one(s),
Core.Compiler.==(Core.Compiler.first(r), Core.Compiler.first(s)))
││││││││││┌ @ int.jl:924 Core.Compiler.not_sametype(Core.tuple(a, b),
Core.tuple(aT, bT))
│││││││││││┌ @ promotion.jl:309 Core.Compiler.sametype_error(x)
││││││││││││┌ @ promotion.jl:315 Core.Compiler.map(#39, input)
│││││││││││││┌ @ tuple.jl:214 f(Core.Compiler.getindex(t, 1))
││││││││││││││┌ @ promotion.jl:316
Core.Compiler.string(Core.Compiler.typeof(x))
│││││││││││││││ variable Core.Compiler.string is not defined:
Core.Compiler.string(Core.Compiler.typeof(x::Bool)::Type{Bool})
││││││││││││││└────────────────────
││││┌ @ compiler/typeinfer.jl:206
Core.Compiler.Timings.exit_current_timer(frame)
│││││┌ @ compiler/typeinfer.jl:164 Core.Compiler.Timings.backtrace()
││││││┌ @ error.jl:113 Core.Compiler._reformat_bt(Core.typeassert(bt1,
Core.apply_type(Core.Compiler.Vector, Core.apply_type(Core.Compiler.Ptr,
Core.Compiler.Cvoid))), Core.typeassert(bt2,
Core.apply_type(Core.Compiler.Vector, Core.Compiler.Any)))
│││││││┌ @ error.jl:93 Core.Compiler.string("Unexpected extended
backtrace entry tag ", tag, " at bt[", i, "]")
││││││││ variable Core.Compiler.string is not defined:
Core.Compiler.string("Unexpected extended backtrace entry tag ",
tag::UInt64, " at bt[", i::Int64, "]")
│││││││└───────────────
│││┌ @ compiler/typeinfer.jl:815 Core.Compiler.InferenceResult(mi)
││││┌ @ compiler/types.jl:33 #self#(linfo, Core.Compiler.nothing, false)
│││││┌ @ compiler/types.jl:33
Core.Compiler.matching_cache_argtypes(linfo, given_argtypes,
va_override)
││││││┌ @ compiler/inferenceresult.jl:141
Core.Compiler.falses(Core.Compiler.length(cache_argtypes))
│││││││┌ @ bitarray.jl:403 Core.Compiler.falses(dims)
││││││││┌ @ bitarray.jl:405 Core.Compiler.BitArray(Core.Compiler.undef,
dims)
│││││││││┌ @ bitarray.jl:71 Core.apply_type(Core.Compiler.BitArray,
_)(Core.tuple(Core.Compiler.undef), Core.Compiler.map(Core.Compiler.Int,
dims)...)
││││││││││┌ @ bitarray.jl:32 Core.Compiler.string("dimension size must
be ≥ 0, got ", d, " for dimension ", i)
│││││││││││ variable Core.Compiler.string is not defined:
Core.Compiler.string("dimension size must be ≥ 0, got ", d::Int64, " for
dimension ", i::Int64)
││││││││││└──────────────────
││││││││││││┌ @ promotion.jl:315
Core.Compiler.join(Core.Compiler.map(#39, input), ", ", " and ")
│││││││││││││ variable Core.Compiler.join is not defined:
Core.Compiler.join(Core.Compiler.map(#39::Core.Compiler.var"#39#40",
input::Tuple{Bool, Integer})::Tuple{Any, Any}, ", ", " and ")
││││││││││││└────────────────────
│││││││││││││││││┌ @ abstractarray.jl:316
Core.Compiler.throw_eachindex_mismatch_indices(Core.tuple(Core.Compiler.IndexLinear(),
Core.Compiler.eachindex(A)),
Core.Compiler.materialize(Core.Compiler.broadcasted(Core.Compiler.eachindex,
B))...)
││││││││││││││││││┌ @ abstractarray.jl:260 Core.Compiler.join(inds, ",
", " and ")
│││││││││││││││││││ variable Core.Compiler.join is not defined:
Core.Compiler.join(inds::Tuple{Core.Compiler.OneTo{Int64}, Vararg{Any}},
", ", " and ")
││││││││││││││││││└────────────────────────
│││││││││││┌ @ compiler/ssair/inlining.jl:521
Core.Compiler.cfg_inline_unionsplit!(ir, idx, Core.typeassert(item,
Core.Compiler.UnionSplit), state)
││││││││││││┌ @ compiler/ssair/inlining.jl:215
Core.Compiler.inline_into_block!(state, block)
│││││││││││││┌ @ compiler/ssair/inlining.jl:112
Core.Compiler.append!(Core.Compiler.getproperty(state, :new_cfg_blocks),
Core.Compiler.map(Core.Compiler.copy,
Core.Compiler.getindex(Core.Compiler.getproperty(Core.Compiler.getproperty(state,
:cfg), :blocks), new_range)))
││││││││││││││┌ @ array.jl:978 Core.Compiler.copyto!(a,
Core.Compiler.+(Core.Compiler.-(Core.Compiler.length(a), n), 1), items,
Core.Compiler.first(itemindices), n)
│││││││││││││││┌ @ array.jl:299 Core.Compiler._copyto_impl!(dest, doffs,
src, soffs, n)
││││││││││││││││┌ @ array.jl:313 Core.Compiler.unsafe_copyto!(dest,
doffs, src, soffs, n)
│││││││││││││││││┌ @ array.jl:289 Core.Compiler._unsafe_copyto!(dest,
doffs, src, soffs, n)
││││││││││││││││││┌ @ array.jl:235 Core.Compiler.getindex(src,
Core.Compiler.-(Core.Compiler.+(soffs, i), 1))
│││││││││││││││││││┌ @ array.jl:802
Core.Compiler.arrayref($(Expr(:boundscheck)), A, i1)
││││││││││││││││││││ invalid builtin function call:
Core.Compiler.arrayref($(Expr(:boundscheck)), A::Vector{Union{}},
i1::Int64)
│││││││││││││││││││└────────────────
││││││││││││││││││┌ @ abstractarray.jl:1267
Core.Compiler._setindex!(Core.tuple(Core.Compiler.IndexStyle(A), A, v),
Core.Compiler.to_indices(A, I)...)
│││││││││││││││││││┌ @ abstractarray.jl:1282
Core.Compiler.string("setindex! for ", Core.Compiler.typeof(A), " with
types ", Core.Compiler.typeof(I), " is not supported")
││││││││││││││││││││ variable Core.Compiler.string is not defined:
Core.Compiler.string("setindex! for ",
Core.Compiler.typeof(A::Vector{Int64})::Type{Vector{Int64}}, " with
types ", Core.Compiler.typeof(I::Tuple{Any})::Type{var"#s459"} where
var"#s459"<:Tuple{Any}, " is not supported")
│││││││││││││││││││└─────────────────────────
││││││││││││││││││┌ @ abstractarray.jl:260 Core.Compiler.string("all
inputs to eachindex must have the same indices, got ",
Core.Compiler.join(inds, ", ", " and "))
│││││││││││││││││││ variable Core.Compiler.string is not defined:
Core.Compiler.string("all inputs to eachindex must have the same
indices, got ",
Core.Compiler.join(inds::Tuple{Core.Compiler.OneTo{Int64}, Vararg{Any}},
", ", " and ")::Any)
││││││││││││││││││└────────────────────────
│││││││││││││┌ @ compiler/ssair/inlining.jl:111
Core.Compiler.setindex!(Core.Compiler.getproperty(state, :bb_rename),
Core.Compiler.:(Core.Compiler.+(l, 1), Core.Compiler.+(l,
Core.Compiler.length(new_range))), new_range)
││││││││││││││┌ @ array.jl:847 Core.Compiler.setindex_shape_check(X,
Core.Compiler.length(I))
│││││││││││││││┌ @ indices.jl:245
Core.Compiler.throw_setindex_mismatch(X, Core.tuple(i))
││││││││││││││││┌ @ indices.jl:191 Core.Compiler.string("tried to assign
", Core.Compiler.length(X), " elements to ", Core.Compiler.getindex(I,
1), " destinations")
│││││││││││││││││ variable Core.Compiler.string is not defined:
Core.Compiler.string("tried to assign ",
Core.Compiler.length(X::Core.Compiler.UnitRange{Int64})::Int64, "
elements to ", Core.Compiler.getindex(I::Tuple{Int64}, 1)::Int64, "
destinations")
││││││││││││││││└──────────────────
││││┌ @ compiler/inferencestate.jl:157
Core.Compiler.InferenceState(result, src, cached, interp)
│││││┌ @ compiler/inferencestate.jl:63
Core.Compiler.sptypes_from_meth_instance(Core.typeassert(linfo,
Core.Compiler.MethodInstance))
││││││┌ @ compiler/inferencestate.jl:189 Core.Compiler.:(1,
Core.Compiler.length(sigtypes))
│││││││┌ @ range.jl:3 Core.Compiler.promote(a, b)
││││││││┌ @ promotion.jl:292 Core.Compiler.not_sametype(Core.tuple(x,
y), Core.tuple(px, py))
│││││││││┌ @ promotion.jl:309 Core.Compiler.sametype_error(x)
││││││││││┌ @ promotion.jl:315 Core.Compiler.map(#39, input)
│││││││││││┌ @ tuple.jl:214 f(Core.Compiler.getindex(t, 2))
││││││││││││┌ @ promotion.jl:316
Core.Compiler.string(Core.Compiler.typeof(x))
│││││││││││││ variable Core.Compiler.string is not defined:
Core.Compiler.string(Core.Compiler.typeof(x::Real)::Type{var"#s459"}
where var"#s459"<:Real)
││││││││││││└────────────────────
│││││││││││││┌ @ tuple.jl:214 f(Core.Compiler.getindex(t, 2))
││││││││││││││┌ @ promotion.jl:316
Core.Compiler.string(Core.Compiler.typeof(x))
│││││││││││││││ variable Core.Compiler.string is not defined:
Core.Compiler.string(Core.Compiler.typeof(x::Integer)::Type{var"#s459"}
where var"#s459"<:Integer)
││││││││││││││└────────────────────
│││││││││││┌ @ int.jl:924 Core.Compiler.not_sametype(Core.tuple(a, b),
Core.tuple(aT, bT))
││││││││││││┌ @ promotion.jl:309 Core.Compiler.sametype_error(x)
│││││││││││││┌ @ promotion.jl:315
Core.Compiler.join(Core.Compiler.map(#39, input), ", ", " and ")
││││││││││││││ variable Core.Compiler.join is not defined:
Core.Compiler.join(Core.Compiler.map(#39::Core.Compiler.var"#39#40",
input::Tuple{Int64, Integer})::Tuple{Any, Any}, ", ", " and ")
│││││││││││││└────────────────────
│││││││││┌ @ compiler/ssair/driver.jl:133
Core.Compiler.getfield_elim_pass!(ir)
││││││││││┌ @ compiler/ssair/passes.jl:638 Core.Compiler.union!(mid,
intermediaries)
│││││││││││┌ @ abstractset.jl:91 Core.Compiler.push!(s, x)
││││││││││││┌ @ idset.jl:20
Core.Compiler.setindex!(Core.Compiler.getproperty(s, :dict),
Core.Compiler.nothing, x)
│││││││││││││┌ @ iddict.jl:87
Core.Compiler.string(Core.Compiler.limitrepr(key), " is not a valid key
for type ", _)
││││││││││││││ variable Core.Compiler.string is not defined:
Core.Compiler.string(Core.Compiler.limitrepr(key::Any)::Any, " is not a
valid key for type ", _::Type{Int64})
│││││││││││││└────────────────
││││││││││││┌ @ compiler/ssair/domtree.jl:218
Core.Compiler.compute_domtree_nodes!(domtree)
│││││││││││││┌ @ compiler/ssair/domtree.jl:224
Core.Compiler.copy!(Core.Compiler.getproperty(domtree, :nodes), _6)
││││││││││││││┌ @ abstractarray.jl:826 Core.Compiler.eachindex(dst, src)
│││││││││││││││┌ @ abstractarray.jl:305
Core.Compiler.eachindex(Core.Compiler.IndexStyle(A, B), A, B)
││││││││││││││││┌ @ abstractarray.jl:316
Core.Compiler.broadcasted(Core.Compiler.eachindex, B)
│││││││││││││││││ variable Core.Compiler.broadcasted is not defined:
Core.Compiler.broadcasted(Core.Compiler.eachindex,
B::Tuple{Vector{Core.Compiler.DomTreeNode}})
││││││││││││││││└────────────────────────
││││││││││││││││┌ @ abstractarray.jl:316
Core.Compiler.materialize(Core.Compiler.broadcasted(Core.Compiler.eachindex,
B))
│││││││││││││││││ variable Core.Compiler.materialize is not defined:
Core.Compiler.materialize(Core.Compiler.broadcasted(Core.Compiler.eachindex,
B::Tuple{Vector{Core.Compiler.DomTreeNode}})::Any)
││││││││││││││││└────────────────────────
│││││││││┌ @ compiler/ssair/driver.jl:142 Core.Compiler.verify_ir(ir)
││││││││││┌ @ compiler/ssair/verify.jl:67 #self#(ir, true)
│││││││││││┌ @ compiler/ssair/verify.jl:114
Core.Compiler.!=(Core.Compiler.getproperty(block, :succs),
Core.Compiler.vect(Core.Compiler.getindex(Core.Compiler.getproperty(terminator,
:args), 1), Core.Compiler.+(idx, 1)))
││││││││││││┌ @ operators.jl:264 Core.Compiler.!(Core.Compiler.==(x, y))
│││││││││││││ for any of the union split cases, no matching method found
for call signature: Core.Compiler.!(Core.Compiler.==(x::Vector{Int64},
y::Vector{_A} where _A)::Union{Core.Compiler.Missing, Bool})
││││││││││││└────────────────────
│││││││││││││┌ @ iddict.jl:87 Core.Compiler.limitrepr(key)
││││││││││││││ variable Core.Compiler.limitrepr is not defined:
Core.Compiler.limitrepr(key::Any)
│││││││││││││└────────────────
││││││││││┌ @ promotion.jl:315 Core.Compiler.join(Core.Compiler.map(#39,
input), ", ", " and ")
│││││││││││ variable Core.Compiler.join is not defined:
Core.Compiler.join(Core.Compiler.map(#39::Core.Compiler.var"#39#40",
input::Tuple{Int64, Real})::Tuple{Any, Any}, ", ", " and ")
││││││││││└────────────────────
┌ @ src/virtualprocess.jl:177 #self#(s, filename, virtualmod,
actualmodsym, interp, config, JET.gen_virtual_process_result())
│┌ @ src/virtualprocess.jl:193 JET.virtual_process!(toplevelex,
filename, virtualmod, actualmodsym, interp, config, res)
││┌ @ src/virtualprocess.jl:333 JET.partially_interpret!(interp′,
virtualmod, src)
│││┌ @ src/virtualprocess.jl:440 JET.select_statements(src,
Base.getproperty(interp, :config))
││││┌ @
/Users/aviatesk/.julia/packages/MacroTools/gME9C/src/match/macro.jl:72
MacroTools.trymatch(pat, stmt)
│││││┌ @
/Users/aviatesk/.julia/packages/MacroTools/gME9C/src/match/match.jl:112
MacroTools.match(pat, ex)
││││││┌ @
/Users/aviatesk/.julia/packages/MacroTools/gME9C/src/match/match.jl:107
MacroTools.match(pat, ex, MacroTools.Dict())
│││││││┌ @
/Users/aviatesk/.julia/packages/MacroTools/gME9C/src/match/match.jl:100
MacroTools.bname(pat)
││││││││┌ @
/Users/aviatesk/.julia/packages/MacroTools/gME9C/src/match/match.jl:27
Base.getproperty(Base.getproperty(MacroTools.Base,
:match)(r"^@?(.*?)_+(_str)?$", MacroTools.string(s)), :captures)
│││││││││┌ @ Base.jl:33 Base.getfield(x, f)
││││││││││ type Nothing has no field captures
│││││││││└──────────────
┌ @ src/virtualprocess.jl:217 JET.MissingConcretization(err, st,
Core.getfield(#self#, :filename),
Base.getproperty(Core.typeassert(Core.getfield(Core.getfield(#self#,
:lnn), :contents), JET.LineNumberNode), :line))
│┌ @ src/reports.jl:53
Base.convert(Core.fieldtype(JET.MissingConcretization, 2), st)
││┌ @
/Users/aviatesk/julia/julia/usr/share/julia/stdlib/v1.7/LinearAlgebra/src/factorization.jl:58
_(f)
│││ no matching method found for call signature:
_::Type{Vector{Base.StackTraces.StackFrame}}(f::LinearAlgebra.Factorization)
││└─────────────────────────────────────────────────────────────────────────────────────────────────
┌ @ src/virtualprocess.jl:455 JET.CodeEdges(src)
│┌ @
/Users/aviatesk/julia/packages/LoweredCodeUtils/src/codeedges.jl:371
LoweredCodeUtils.CodeEdges(Base.collect(Base.Generator(#23,
LoweredCodeUtils.:(1, n))), Base.collect(Base.Generator(#24,
LoweredCodeUtils.:(1, n))), Core.apply_type(LoweredCodeUtils.Dict,
Core.apply_type(LoweredCodeUtils.Union, LoweredCodeUtils.GlobalRef,
LoweredCodeUtils.Symbol), LoweredCodeUtils.Variable)())
││┌ @
/Users/aviatesk/julia/packages/LoweredCodeUtils/src/codeedges.jl:367
Base.convert(Core.fieldtype(LoweredCodeUtils.CodeEdges, 1), preds)
│││┌ @
/Users/aviatesk/julia/julia/usr/share/julia/stdlib/v1.7/LinearAlgebra/src/factorization.jl:58
_(f)
││││ no matching method found for call signature:
_::Type{Vector{Vector{Int64}}}(f::LinearAlgebra.Factorization)
│││└─────────────────────────────────────────────────────────────────────────────────────────────────
┌ @ src/virtualprocess.jl:516 JET.lines_required!(concretize, src,
edges)
│┌ @
/Users/aviatesk/julia/packages/LoweredCodeUtils/src/codeedges.jl:593
LoweredCodeUtils.#lines_required!#32(Base.pairs(Core.NamedTuple()),
#self#, isrequired, src, edges)
││┌ @
/Users/aviatesk/julia/packages/LoweredCodeUtils/src/codeedges.jl:594
LoweredCodeUtils.lines_required!(isrequired, objs, src, edges)
│││┌ @
/Users/aviatesk/julia/packages/LoweredCodeUtils/src/codeedges.jl:604
LoweredCodeUtils.#lines_required!#33(false, #self#, isrequired, objs,
src, edges)
││││┌ @
/Users/aviatesk/julia/packages/LoweredCodeUtils/src/codeedges.jl:653
LoweredCodeUtils.any(LoweredCodeUtils.view(isrequired,
Base.getproperty(uses, :succs)))
│││││┌ @ reducedim.jl:894 Base.#any#733(Base.:, #self#, a)
││││││┌ @ reducedim.jl:894 Base._any(a, dims)
│││││││┌ @ reducedim.jl:896 Base._any(Base.identity, a, Base.:)
││││││││┌ @ reduce.jl:1094 Base.iterate(itr)
│││││││││┌ @ abstractarray.jl:1094 #self#(A,
Core.tuple(Base.eachindex(A)))
││││││││││┌ @ multidimensional.jl:580 Base.indexed_iterate(_3, 2, _4)
│││││││││││┌ @ tuple.jl:86 Base.getfield(t, i)
││││││││││││ invalid builtin function call: Base.getfield(t::Tuple{Any},
i::Int64)
│││││││││││└───────────────
│││││││││┌ @ multidimensional.jl:576 Base.IteratorsMD.first(iter)
││││││││││┌ @ abstractarray.jl:368 Base.getindex(a,
Base.first(Base.eachindex(a)))
│││││││││││┌ @ subarray.jl:276
Base.getindex(Core.tuple(Base.getproperty(V, :parent)),
Base.reindex(Base.getproperty(V, :indices), I)...)
││││││││││││┌ @ reshapedarray.jl:234
Base._unsafe_getindex(Core.tuple(A), indices...)
│││││││││││││┌ @ reshapedarray.jl:245 Base.ind2sub_rs(axp,
Base.getproperty(A, :mi), i)
││││││││││││││┌ @ reshapedarray.jl:218 Base._ind2sub_rs(ax, strds,
Base.-(i, 1))
│││││││││││││││┌ @ reshapedarray.jl:221 Base.divrem(ind,
Base.getindex(strds, 1))
││││││││││││││││┌ @ div.jl:148 Base.divrem(x, y, Base.RoundToZero)
│││││││││││││││││┌ @ div.jl:152 Base.div(a, b)
││││││││││││││││││┌ @ div.jl:37 Base.div(a, b, Base.RoundToZero)
│││││││││││││││││││ no matching method found for call signature:
Base.div(a::Any,
b::Base.MultiplicativeInverses.SignedMultiplicativeInverse{Int64},
Base.RoundToZero)
││││││││││││││││││└─────────────
┌ @ src/watch.jl:67 JET._report_and_watch_file(args...)
│┌ @ src/watch.jl:86
JET.#_report_and_watch_file#80(Core.tuple(JET.IOContext(io,
JET.=>(JET.LOGGER_LEVEL_KEY, JET.INFO_LOGGER_LEVEL)),
Base.pairs(Core.NamedTuple()), #self#, io, filename), args...)
││┌ @ src/watch.jl:95 Base.getproperty(JET.Revise, :entr)
│││ variable JET.Revise is not defined: Base.getproperty(JET.Revise,
:entr::Symbol)
││└───────────────────
││┌ @ src/watch.jl:113 Base.getproperty(JET.Revise,
:ReviseEvalException)
│││ variable JET.Revise is not defined: Base.getproperty(JET.Revise,
:ReviseEvalException::Symbol)
││└────────────────────
││┌ @ src/watch.jl:128 Base.getproperty(JET.Revise,
:ReviseEvalException)
│││ variable JET.Revise is not defined: Base.getproperty(JET.Revise,
:ReviseEvalException::Symbol)
││└────────────────────
┌ @ src/watch.jl:67
Core.kwfunc(JET._report_and_watch_file)(Core.tuple(Base.merge(Base.NamedTuple(),
kwargs), JET._report_and_watch_file), args...)
│┌ @ src/watch.jl:86
JET.#_report_and_watch_file#80(Core.tuple(toplevel_logger,
jetconfigs..., _3, io, filename), args...)
││┌ @ src/watch.jl:95 Base.getproperty(JET.Revise, :entr)
│││ variable JET.Revise is not defined: Base.getproperty(JET.Revise,
:entr::Symbol)
││└───────────────────
││┌ @ src/watch.jl:113 Base.getproperty(JET.Revise,
:ReviseEvalException)
│││ variable JET.Revise is not defined: Base.getproperty(JET.Revise,
:ReviseEvalException::Symbol)
││└────────────────────
││┌ @ src/watch.jl:128 Base.getproperty(JET.Revise,
:ReviseEvalException)
│││ variable JET.Revise is not defined: Base.getproperty(JET.Revise,
:ReviseEvalException::Symbol)
││└────────────────────
┌ @ src/JET.jl:780 Base.getproperty(JET.InteractiveUtils,
:gen_call_with_extracted_types_and_kwargs)(__module__, :analyze_call,
ex0)
│┌ @
/Users/aviatesk/julia/julia/usr/share/julia/stdlib/v1.7/InteractiveUtils/src/macros.jl:195
InteractiveUtils.gen_call_with_extracted_types(__module__, fcn, arg,
kws)
││┌ @
/Users/aviatesk/julia/julia/usr/share/julia/stdlib/v1.7/InteractiveUtils/src/macros.jl:40
InteractiveUtils.findlast(#34,
Base.getproperty(Base.getindex(Base.getproperty(ex0, :args), 1), :args))
│││┌ @ array.jl:2104 Base.findprev(testf, A, Base.last(Base.keys(A)))
││││┌ @
/Users/aviatesk/julia/julia/usr/share/julia/stdlib/v1.7/SparseArrays/src/abstractsparse.jl:100
SparseArrays._sparse_findprevnz(v, SparseArrays.prevind(v, j))
│││││┌ @
/Users/aviatesk/julia/julia/usr/share/julia/stdlib/v1.7/SparseArrays/src/abstractsparse.jl:77
SparseArrays.searchsortedlast(I, i)
││││││┌ @ sort.jl:327 Base.Sort.#searchsortedlast#5(Base.Sort.isless,
Base.Sort.identity, Base.Sort.nothing, Base.Sort.Forward, #self#, v, x)
│││││││┌ @ sort.jl:327 Base.Sort.searchsortedlast(v, x,
Base.Sort.ord(lt, by, rev, order))
││││││││┌ @ sort.jl:325 Base.Sort.searchsortedlast(v, x,
Base.Sort.first(inds), Base.Sort.last(inds), o)
│││││││││┌ @ sort.jl:201 Base.Sort.lt(o, x, Base.getindex(v, m))
││││││││││┌ @ ordering.jl:109 Base.Order.isless(a, b)
│││││││││││┌ @ multidimensional.jl:127 Base.IteratorsMD._isless(0,
Base.getproperty(I1, :I), Base.getproperty(I2, :I))
││││││││││││┌ @ multidimensional.jl:130 Base.IteratorsMD._isless(newret,
Base.front(I1), Base.front(I2))
│││││││││││││ for any of the union split cases, no matching method found
for call signature: Base.IteratorsMD._isless(newret::Int64,
Base.front::typeof(Base.front)(I1::Tuple{Vararg{Int64, N}} where
N)::Union{Tuple{}, Tuple{Int64, Vararg{Int64}}},
Base.front::typeof(Base.front)(I2::Tuple{Vararg{Int64, N}} where
N)::Union{Tuple{}, Tuple{Int64, Vararg{Int64}}})
││││││││││││└───────────────────────────
││││││││││││┌ @ multidimensional.jl:130 Base.IteratorsMD._isless(newret,
Base.front(I1), Base.front(I2))
│││││││││││││┌ @ multidimensional.jl:130
Base.IteratorsMD._isless(newret, Base.front(I1), Base.front(I2))
││││││││││││││ for any of the union split cases, no matching method
found for call signature: Base.IteratorsMD._isless(newret::Int64,
Base.front::typeof(Base.front)(I1::Tuple{Vararg{Int64}})::Union{Tuple{},
Tuple{Int64, Vararg{Int64}}},
Base.front::typeof(Base.front)(I2::Tuple{Vararg{Int64}})::Union{Tuple{},
Tuple{Int64, Vararg{Int64}}})
│││││││││││││└───────────────────────────
││││┌ @ array.jl:2059 Base.prevind(A, i)
│││││┌ @ multidimensional.jl:159
Base.IteratorsMD.dec(Base.getproperty(i, :I), Base.getproperty(iter,
:indices))
││││││┌ @ multidimensional.jl:502 Base.IteratorsMD.__dec(state, indices)
│││││││┌ @ multidimensional.jl:521
Base.IteratorsMD.__dec(Base.IteratorsMD.tail(state),
Base.IteratorsMD.tail(indices))
││││││││┌ @ multidimensional.jl:516 Base.getindex(indices, 1)
│││││││││┌ @ tuple.jl:29 Base.getfield(t, i, $(Expr(:boundscheck)))
││││││││││ invalid builtin function call: Base.getfield(t::Tuple{},
i::Int64, $(Expr(:boundscheck)))
│││││││││└───────────────
```
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
No description provided.