ITADN

Strange convert arguments for Comrade

#2899Openptiede 创建于 2026-05-14
P
ptiedecommented
This is rather strange and I don't know what to make of it. Here is the offending code with VLBISkyModels ```julia using Reactant, VLBISkyModels gim = imagepixels(1.0, 1.0, 128, 128) gimr = @jit(identity(gim)) a = randn(128, 128) b = randn(128, 128) c = randn(128, 128) d = randn(128, 128) am = Reactant.to_rarray(a) bm = Reactant.to_rarray(b) cm = Reactant.to_rarray(c) dm = Reactant.to_rarray(d) m = VLBISkyModels.PolExp2Map(a, b, c, d, gim) mr = @jit VLBISkyModels.PolExp2Map(am, bm, cm, dm, gimr) u = randn(10^2) / 5.0 v = randn(10^2) / 5.0 guv = UnstructuredDomain((U = u, V = v)) gfr = @jit FourierDualDomain(gimr, Reactant.to_rarray(guv), VLBISkyModels.ReactantNUFFTAlg()) ppmr = ContinuousImage(mr, DeltaPulse()) vrf = @jit(visibilitymap(ppmr, gfr)) ERROR: MethodError: no method matching getproperty(::ConcretePJRTNumber{Float64, 1}, ::Int64) The function `getproperty` exists, but no method is defined for this combination of argument types. Closest candidates are: getproperty(::Union{Reactant.AbstractConcreteArray, Reactant.AbstractConcreteNumber}, ::Symbol) @ Reactant ~/.julia/packages/Reactant/WQKPd/src/Types.jl:9 getproperty(::Reactant.Sharding.AbstractSharding, ::Any) @ Reactant ~/.julia/packages/Reactant/WQKPd/src/Sharding.jl:159 getproperty(::Any, ::Symbol) @ Base Base.jl:49 ... Stacktrace: [1] traced_getfield(obj::Union{Reactant.AbstractConcreteArray, Reactant.AbstractConcreteNumber}, field::Int64) @ Reactant.Compiler ~/.julia/packages/Reactant/WQKPd/src/compiler/Codegen.jl:46 [2] prepare_mlir_fn_args(args::Tuple{…}, name::String, concretein::Bool, toscalar::Bool, argprefix::Symbol, runtime::Val{…}, optimize_then_pad::Bool, do_transpose::Bool, input_shardings::Nothing, verify_arg_names::Nothing) @ Reactant.TracedUtils ~/.julia/packages/Reactant/WQKPd/src/TracedUtils.jl:568 [3] make_mlir_fn(f::typeof(visibilitymap), args::Tuple{…}, kwargs::@NamedTuple{}, name::String, concretein::Bool; toscalar::Bool, return_dialect::Symbol, args_in_result::Symbol, construct_function_without_args::Bool, do_transpose::Bool, within_autodiff::Bool, input_shardings::Nothing, output_shardings::Nothing, runtime::Val{…}, verify_arg_names::Nothing, argprefix::Symbol, resprefix::Symbol, resargprefix::Symbol, num_replicas::Int64, optimize_then_pad::Bool) @ Reactant.TracedUtils ~/.julia/packages/Reactant/WQKPd/src/TracedUtils.jl:346 [4] make_mlir_fn @ ~/.julia/packages/Reactant/WQKPd/src/TracedUtils.jl:299 [inlined] [5] compile_mlir!(mod::Reactant.MLIR.IR.Module, f::typeof(visibilitymap), args::Tuple{…}, compile_options::CompileOptions, debugcache::Vector{…}, callcache::Dict{…}, sdycache::Dict{…}, sdygroupidcache::Tuple{…}; fn_kwargs::@NamedTuple{}, backend::String, runtime::Val{…}, legalize_stablehlo_to_mhlo::Bool, client::Reactant.XLA.PJRT.Client, kwargs::@Kwargs{}) @ Reactant.Compiler ~/.julia/packages/Reactant/WQKPd/src/compiler/Compiler.jl:278 [6] compile_mlir! @ ~/.julia/packages/Reactant/WQKPd/src/compiler/Compiler.jl:237 [inlined] [7] compile_xla(ctx::Reactant.MLIR.IR.Context, f::Function, args::Tuple{…}; before_xla_optimizations::Bool, client::Nothing, serializable::Bool, kwargs::@Kwargs{…}) @ Reactant.Compiler ~/.julia/packages/Reactant/WQKPd/src/compiler/Compiler.jl:1330 [8] compile_xla @ ~/.julia/packages/Reactant/WQKPd/src/compiler/Compiler.jl:1305 [inlined] [9] compile(ctx::Reactant.MLIR.IR.Context, f::Function, args::Tuple{…}; kwargs::@Kwargs{…}) @ Reactant.Compiler ~/.julia/packages/Reactant/WQKPd/src/compiler/Compiler.jl:1422 [10] macro expansion @ ~/.julia/packages/Reactant/WQKPd/src/compiler/Macros.jl:299 [inlined] [11] macro expansion @ ~/.julia/packages/LLVM/upRII/src/base.jl:113 [inlined] [12] top-level scope @ ~/.julia/packages/Reactant/WQKPd/src/compiler/Macros.jl:298 Some type information was truncated. Use `show(err)` to see complete types. ```
1 条评论