Package evaluation to test PolyhedralOmega on Julia 1.14.0-DEV.2226 (797a5ef2b0*) started at 2026-05-23T21:08:56.247 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 17.35s ################################################################################ # Installation # Installing PolyhedralOmega... Resolving package versions... Installed OrderedCollections ────── v1.8.1 Installed MacroTools ────────────── v0.5.16 Installed TypedPolynomials ──────── v0.2.12 Installed Compat ────────────────── v4.18.1 Installed DataStructures ────────── v0.18.22 Installed MultivariatePolynomials ─ v0.3.18 Installed MutableArithmetics ────── v0.2.22 Installed IterTools ─────────────── v1.10.0 Installed RandomExtensions ──────── v0.4.4 Installed PolyhedralOmega ───────── v0.1.2 Installed AbstractAlgebra ───────── v0.12.0 Updating `~/.julia/environments/v1.14/Project.toml` [cb40c8c0] + PolyhedralOmega v0.1.2 Updating `~/.julia/environments/v1.14/Manifest.toml` ⌅ [c3fe647b] + AbstractAlgebra v0.12.0 [34da2185] + Compat v4.18.1 ⌅ [864edb3b] + DataStructures v0.18.22 [c8e1da08] + IterTools v1.10.0 [1914dd2f] + MacroTools v0.5.16 ⌅ [102ac46a] + MultivariatePolynomials v0.3.18 ⌅ [d8a4904e] + MutableArithmetics v0.2.22 [bac558e1] + OrderedCollections v1.8.1 [cb40c8c0] + PolyhedralOmega v0.1.2 [fb686558] + RandomExtensions v0.4.4 ⌅ [afbbf031] + TypedPolynomials v0.2.12 [0dad84c5] + ArgTools v1.1.2 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [f43a241f] + Downloads v1.7.0 [7b1f6079] + FileWatching v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.13.0 [b27032c2] + LibCURL v1.0.0 [76f85450] + LibGit2 v1.11.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.13.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [ca575930] + NetworkOptions v1.3.0 [44cfe95a] + Pkg v1.14.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.13.0 [9e88b42a] + Serialization v1.11.0 [2f01184e] + SparseArrays v1.13.0 [f489334b] + StyledStrings v1.13.0 [fa267f1f] + TOML v1.0.3 [a4e569a6] + Tar v1.10.0 [8dfed614] + Test v1.11.0 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.5.1+0 [deac9b47] + LibCURL_jll v8.20.0+1 [e37daf67] + LibGit2_jll v1.9.3+0 [29816b5a] + LibSSH2_jll v1.11.101+0 [14a3606d] + MozillaCACerts_jll v2026.5.14 [4536629a] + OpenBLAS_jll v0.3.33+0 [458c3c95] + OpenSSL_jll v3.5.6+0 [efcefdf7] + PCRE2_jll v10.47.0+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [83775a58] + Zlib_jll v1.3.2+0 [3161d3a3] + Zstd_jll v1.5.7+1 [8e850b90] + libblastrampoline_jll v5.15.0+0 [8e850ede] + nghttp2_jll v1.69.0+0 [3f19e933] + p7zip_jll v17.8.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m` Installation completed after 4.96s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling project... 5.6 s ✓ TestEnv 1 dependency successfully precompiled in 6 seconds. 27 already precompiled. Precompiling package dependencies... Precompiling project... ┌ Info: JuliaLowering threw given input: │ code = │ :(function destruct_key(pat, val, getm) │ #= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:26 =# │ #= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:27 =# │ #= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:27 =# @match pat begin │ #= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:28 =# │ _Symbol => destruct_key($(Expr(:quote, :($(Expr(:$, :pat)) = $(Expr(:$, :(Expr(:quote, pat))))))), val, getm) │ #= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:29 =# │ x_Symbol || y_ => destruct_key($(Expr(:quote, :($(Expr(:$, :x)) = $(Expr(:$, :(Expr(:quote, x)))) || $(Expr(:$, :y))))), val, getm) │ #= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:30 =# │ (x_ = y_) => destructm(x, destruct_key(y, val, getm)) │ #= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:31 =# │ x_ || y_ => getm(val, x, y) │ #= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:32 =# │ _ => atoms((i->begin │ #= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:32 =# │ getm(val, i) │ end), pat) │ end │ end) │ st0 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source,__macro_ctx__ │ [function] │ │ [call] │ │ destruct_key :: Identifier │ │ pat :: Identifier │ │ val :: Identifier │ │ getm :: Identifier │ │ [block] │ │ [macrocall] │ │ @match :: Identifier │ │ :(#= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:27 =#) :: Value │ │ pat :: Identifier │ │ [block] │ │ [call] │ │ => :: Identifier │ │ _Symbol :: Identifier │ │ [call] │ │ destruct_key :: Identifier │ │ [quote] │ │ [=] │ │ [$] │ │ pat :: Identifier │ │ [$] │ │ [call] │ │ Expr :: Identifier │ │ [inert] │ │ quote :: Identifier │ │ pat :: Identifier │ │ val :: Identifier │ │ getm :: Identifier │ │ [call] │ │ => :: Identifier │ │ [||] │ │ x_Symbol :: Identifier │ │ y_ :: Identifier │ │ [call] │ │ destruct_key :: Identifier │ │ [quote] │ │ [=] │ │ [$] │ │ x :: Identifier │ │ [||] │ │ [$] │ │ [call] │ │ Expr :: Identifier │ │ [inert] │ │ quote :: Identifier │ │ x :: Identifier │ │ [$] │ │ y :: Identifier │ │ val :: Identifier │ │ getm :: Identifier │ │ [call] │ │ => :: Identifier │ │ [=] │ │ x_ :: Identifier │ │ y_ :: Identifier │ │ [call] │ │ destructm :: Identifier │ │ x :: Identifier │ │ [call] │ │ destruct_key :: Identifier │ │ y :: Identifier │ │ val :: Identifier │ │ getm :: Identifier │ │ [call] │ │ => :: Identifier │ │ [||] │ │ x_ :: Identifier │ │ y_ :: Identifier │ │ [call] │ │ getm :: Identifier │ │ val :: Identifier │ │ x :: Identifier │ │ y :: Identifier │ │ [call] │ │ => :: Identifier │ │ _ :: Identifier │ │ [call] │ │ atoms :: Identifier │ │ [->] │ │ i :: Identifier │ │ [block] │ │ [call] │ │ getm :: Identifier │ │ val :: Identifier │ │ i :: Identifier │ │ pat :: Identifier │ │ │ st1 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source │ [function] │ │ [call] │ │ destruct_key :: Identifier │ scope_layer=1 │ pat :: Identifier │ scope_layer=1 │ val :: Identifier │ scope_layer=1 │ getm :: Identifier │ scope_layer=1 │ [block] │ │ [block] │ │ [=] │ │ ex :: Identifier │ scope_layer=2 │ pat :: Identifier │ scope_layer=1 │ [block] │ │ [=] │ │ env :: Identifier │ scope_layer=2 │ [call] │ │ trymatch :: Identifier │ scope_layer=2 │ [call] │ jl_source=L67 │ Base.JuliaLowering.interpolate_ast :: Value │ jl_source=L67 │ Expr :: Value │ jl_source=L67 │ [inert] │ jl_source=L67 │ [$] │ │ [call] │ │ MacroTools.TypeBind :: Value │ │ [quote] │ │ :: Identifier │ │ [call] │ │ [curly] │ │ Set :: Identifier │ │ Any :: Identifier │ │ [vect] │ │ Symbol :: Identifier │ │ [tuple] │ jl_source=L31 │ [call] │ │ MacroTools.TypeBind :: Value │ macro_source=85 │ [inert] │ jl_source=L65 │ :: Identifier │ │ [call] │ │ [curly] │ │ Set :: Identifier │ scope_layer=2 │ Any :: Identifier │ scope_layer=2 │ [vect] │ │ Symbol :: Identifier │ scope_layer=2 │ ex :: Identifier │ scope_layer=2 │ [if] │ │ [call] │ │ !== :: Identifier │ scope_layer=2 │ env :: Identifier │ scope_layer=2 │ nothing :: Identifier │ scope_layer=2 │ [block] │ │ [let] │ │ [block] │ │ [=] │ │ env :: Identifier │ scope_layer=1 │ env :: Identifier │ scope_layer=2 │ [=] │ │ :: Identifier │ scope_layer=1 │ [call] │ │ get :: Identifier │ scope_layer=2 │ env :: Identifier │ scope_layer=2 │ [inert] │ jl_source=L65 │ :: Identifier │ │ nothing :: Identifier │ scope_layer=2 │ [block] │ │ [block] │ │ [call] │ │ destruct_key :: Identifier │ scope_layer=1 │ [call] │ jl_source=L67 │ Base.JuliaLowering.interpolate_ast :: Value │ jl_source=L67 │ Expr :: Value │ jl_source=L67 │ [inert] │ jl_source=L67 │ [=] │ │ [$] │ │ pat :: Identifier │ │ [$] │ │ [call] │ │ Expr :: Identifier │ │ [inert] │ │ quote :: Identifier │ │ pat :: Identifier │ │ [tuple] │ jl_source=L31 │ pat :: Identifier │ scope_layer=1 │ [tuple] │ jl_source=L31 │ [call] │ │ Expr :: Identifier │ scope_layer=1 │ [inert] │ │ quote :: Identifier │ │ pat :: Identifier │ scope_layer=1 │ val :: Identifier │ scope_layer=1 │ getm :: Identifier │ scope_layer=1 │ [block] │ │ [block] │ │ [=] │ │ env :: Identifier │ scope_layer=2 │ [call] │ │ trymatch :: Identifier │ scope_layer=2 │ [call] │ jl_source=L67 │ Base.JuliaLowering.interpolate_ast :: Value │ jl_source=L67 │ Expr :: Value │ jl_source=L67 │ [inert] │ jl_source=L67 │ [||] │ │ [$] │ │ [call] │ │ MacroTools.TypeBind :: Value │ │ [quote] │ │ x :: Identifier │ │ [call] │ │ [curly] │ │ Set :: Identifier │ │ Any :: Identifier │ │ [vect] │ │ Symbol :: Identifier │ │ y_ :: Identifier │ │ [tuple] │ jl_source=L31 │ [call] │ │ MacroTools.TypeBind :: Value │ macro_source=85 │ [inert] │ jl_source=L65 │ x :: Identifier │ │ [call] │ │ [curly] │ │ Set :: Identifier │ scope_layer=2 │ Any :: Identifier │ scope_layer=2 │ [vect] │ │ Symbol :: Identifier │ scope_layer=2 │ ex :: Identifier │ scope_layer=2 │ [if] │ │ [call] │ │ !== :: Identifier │ scope_layer=2 │ env :: Identifier │ scope_layer=2 │ nothing :: Identifier │ scope_layer=2 │ [block] │ │ [let] │ │ [block] │ │ [=] │ │ env :: Identifier │ scope_layer=1 │ env :: Identifier │ scope_layer=2 │ [=] │ │ x :: Identifier │ scope_layer=1 │ [call] │ │ get :: Identifier │ scope_layer=2 │ env :: Identifier │ scope_layer=2 │ [inert] │ jl_source=L65 │ x :: Identifier │ │ nothing :: Identifier │ scope_layer=2 │ [=] │ │ y :: Identifier │ scope_layer=1 │ [call] │ │ get :: Identifier │ scope_layer=2 │ env :: Identifier │ scope_layer=2 │ [inert] │ jl_source=L65 │ y :: Identifier │ │ nothing :: Identifier │ scope_layer=2 │ [block] │ │ [block] │ │ [call] │ │ destruct_key :: Identifier │ scope_layer=1 │ [call] │ jl_source=L67 │ Base.JuliaLowering.interpolate_ast :: Value │ jl_source=L67 │ Expr :: Value │ jl_source=L67 │ [inert] │ jl_source=L67 │ [=] │ │ [$] │ │ x :: Identifier │ │ [||] │ │ [$] │ │ [call] │ │ Expr :: Identifier │ │ [inert] │ │ quote :: Identifier │ │ x :: Identifier │ │ [$] │ │ y :: Identifier │ │ [tuple] │ jl_source=L31 │ x :: Identifier │ scope_layer=1 │ [tuple] │ jl_source=L31 │ [call] │ │ Expr :: Identifier │ scope_layer=1 │ [inert] │ │ quote :: Identifier │ │ x :: Identifier │ scope_layer=1 │ [tuple] │ jl_source=L31 │ y :: Identifier │ scope_layer=1 │ val :: Identifier │ scope_layer=1 │ getm :: Identifier │ scope_layer=1 │ [block] │ │ [block] │ │ [=] │ │ env :: Identifier │ scope_layer=2 │ [call] │ │ trymatch :: Identifier │ scope_layer=2 │ [call] │ jl_source=L67 │ Base.JuliaLowering.interpolate_ast :: Value │ jl_source=L67 │ Expr :: Value │ jl_source=L67 │ [inert] │ jl_source=L67 │ [=] │ │ x_ :: Identifier │ │ y_ :: Identifier │ │ ex :: Identifier │ scope_layer=2 │ [if] │ │ [call] │ │ !== :: Identifier │ scope_layer=2 │ env :: Identifier │ scope_layer=2 │ nothing :: Identifier │ scope_layer=2 │ [block] │ │ [let] │ │ [block] │ │ [=] │ │ env :: Identifier │ scope_layer=1 │ env :: Identifier │ scope_layer=2 │ [=] │ │ x :: Identifier │ scope_layer=1 │ [call] │ │ get :: Identifier │ scope_layer=2 │ env :: Identifier │ scope_layer=2 │ [inert] │ jl_source=L65 │ x :: Identifier │ │ nothing :: Identifier │ scope_layer=2 │ [=] │ │ y :: Identifier │ scope_layer=1 │ [call] │ │ get :: Identifier │ scope_layer=2 │ env :: Identifier │ scope_layer=2 │ [inert] │ jl_source=L65 │ y :: Identifier │ │ nothing :: Identifier │ scope_layer=2 │ [block] │ │ [block] │ │ [call] │ │ destructm :: Identifier │ scope_layer=1 │ x :: Identifier │ scope_layer=1 │ [call] │ │ destruct_key :: Identifier │ scope_layer=1 │ y :: Identifier │ scope_layer=1 │ val :: Identifier │ scope_layer=1 │ getm :: Identifier │ scope_layer=1 │ [block] │ │ [block] │ │ [=] │ │ env :: Identifier │ scope_layer=2 │ [call] │ │ trymatch :: Identifier │ scope_layer=2 │ [call] │ jl_source=L67 │ Base.JuliaLowering.interpolate_ast :: Value │ jl_source=L67 │ Expr :: Value │ jl_source=L67 │ [inert] │ jl_source=L67 │ [||] │ │ x_ :: Identifier │ │ y_ :: Identifier │ │ ex :: Identifier │ scope_layer=2 │ [if] │ │ [call] │ │ !== :: Identifier │ scope_layer=2 │ env :: Identifier │ scope_layer=2 │ nothing :: Identifier │ scope_layer=2 │ [block] │ │ [let] │ │ [block] │ │ [=] │ │ env :: Identifier │ scope_layer=1 │ env :: Identifier │ scope_layer=2 │ [=] │ │ x :: Identifier │ scope_layer=1 │ [call] │ │ get :: Identifier │ scope_layer=2 │ env :: Identifier │ scope_layer=2 │ [inert] │ jl_source=L65 │ x :: Identifier │ │ nothing :: Identifier │ scope_layer=2 │ [=] │ │ y :: Identifier │ scope_layer=1 │ [call] │ │ get :: Identifier │ scope_layer=2 │ env :: Identifier │ scope_layer=2 │ [inert] │ jl_source=L65 │ y :: Identifier │ │ nothing :: Identifier │ scope_layer=2 │ [block] │ │ [block] │ │ [call] │ │ getm :: Identifier │ scope_layer=1 │ val :: Identifier │ scope_layer=1 │ x :: Identifier │ scope_layer=1 │ y :: Identifier │ scope_layer=1 │ [block] │ │ [block] │ │ [=] │ │ env :: Identifier │ scope_layer=2 │ [call] │ │ trymatch :: Identifier │ scope_layer=2 │ [inert] │ jl_source=L65 │ _ :: Identifier │ │ ex :: Identifier │ scope_layer=2 │ [if] │ │ [call] │ │ !== :: Identifier │ scope_layer=2 │ env :: Identifier │ scope_layer=2 │ nothing :: Identifier │ scope_layer=2 │ [block] │ │ [let] │ │ [block] │ │ [=] │ │ env :: Identifier │ scope_layer=1 │ env :: Identifier │ scope_layer=2 │ [block] │ │ [block] │ │ [call] │ │ atoms :: Identifier │ scope_layer=1 │ [->] │ │ i :: Identifier │ scope_layer=1 │ [block] │ │ [call] │ │ getm :: Identifier │ scope_layer=1 │ val :: Identifier │ scope_layer=1 │ i :: Identifier │ scope_layer=1 │ pat :: Identifier │ scope_layer=1 │ [block] │ macro_source=85 │ nothing :: Value │ macro_source=85 │ │ file = "/home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl" │ line = 26 └ mod = MacroTools ERROR: LoadError: LoweringError: #= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/match/macro.jl:29 =# - Invalid assignment location in let syntax Expression:  Containing expressions:  (let (block (= env env) (= (call get env : nothing))) (block (block (call destruct_key (call Base.JuliaLowering.interpolate_ast Expr (inert (= ($ pat) ($ (call Expr (inert quote) pat)))) (tuple pat) (tuple (call Expr :quote pat))) val getm))))  Detailed provenance:   └─  └─  ├─ @ /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/match/macro.jl:29  └─ (macrocall @match :(#= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:27 =#) pat (block (call => _Symbol (call destruct_key (quote (= ($ pat) ($ (call Expr (inert quote) pat)))) val getm)) (call => (|| x_Symbol y_) (call destruct_key (quote (= ($ x) (|| ($ (call Expr (inert quote) x)) ($ y)))) val getm)) (call => (= x_ y_) (call destructm x (call destruct_key y val getm))) (call => (|| x_ y_) (call getm val x y)) (call => _ (call atoms (-> i (block (call getm val i))) pat))))  └─ @ /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:27  Stacktrace:  [1] expand_let(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:1561  [2] expand_forms_2(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, docs::Nothing)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4293  [3] expand_forms_2  @ /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4152 [inlined]  [4] #expand_forms_2##2  @ /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4440 [inlined]  [5] mapchildren(f::Base.JuliaLowering.var"#expand_forms_2##2#expand_forms_2##3"{Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}}, ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:707  [6] expand_forms_2(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, docs::Nothing)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4440  [7] iterate(A::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, SubArray{Int64, 1, Vector{Int64}, Tuple{UnitRange{Int64}}, true}})  @ Base /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4152 [inlined]  [8] expand_forms_2(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, exs::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, SubArray{Int64, 1, Vector{Int64}, Tuple{UnitRange{Int64}}, true}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4447  [9] getindex(ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, i::Int64)  @ Base.JuliaSyntax /source/usr/share/julia/JuliaLowering/src/ast.jl:355 [inlined]  [10] expand_forms_2(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, docs::Nothing)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4288  [11] expand_forms_2  @ /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4152 [inlined]  [12] #expand_forms_2##2  @ /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4440 [inlined]  [13] mapchildren(f::Base.JuliaLowering.var"#expand_forms_2##2#expand_forms_2##3"{Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}}, ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:707  [14] expand_forms_2(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, docs::Nothing)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4440  [15] expand_forms_2  @ /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4152 [inlined]  [16] #expand_forms_2##2  @ /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4440 [inlined]  [17] mapchildren(f::Base.JuliaLowering.var"#expand_forms_2##2#expand_forms_2##3"{Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}}, ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:707  [18] expand_forms_2(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, docs::Nothing)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4440  [19] expand_forms_2  @ /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4152 [inlined]  [20] #expand_forms_2##2  @ /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4440 [inlined]  [21] mapchildren(f::Base.JuliaLowering.var"#expand_forms_2##2#expand_forms_2##3"{Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}}, ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:707  [22] expand_forms_2(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, docs::Nothing)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4440  [23] _node_id(graph::Base.JuliaSyntax.SyntaxGraph{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4152 [inlined]  [24] _push_nodeid!(graph::Base.JuliaSyntax.SyntaxGraph{Dict{Symbol, Dict{Int64, Any}}}, ids::Vector{Int64}, val::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/ast.jl:288 [inlined]  [25] method_def_expr(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, src::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, mtable::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, sparams::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}}, argl::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}}, body::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, rett::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:2419  [26] (::Colon)(start::Int64, stop::Int64)  @ Base /source/usr/share/julia/JuliaLowering/src/ast.jl:355 [inlined]  [27] expand_function_def(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, src::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, raw_args::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}}, wheres::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}}, body::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, rett::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:2873  [28] expand_forms_2(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, docs::Nothing)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4268  [29] Dict{Int64, Int64}()  @ Base /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4152 [inlined]  [30] expand_forms_2(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4469  [31] core_lowering_hook(code::Any, mod::Module, file::String, line::UInt64, world::UInt64, _warn::Bool)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/hooks.jl:30  [32] include(mapexpr::Function, mod::Module, _path::String)  @ Base ./Base.jl:327  [33] top-level scope  @ ~/.julia/packages/MacroTools/Ar0jT/src/MacroTools.jl:13  [34] include(mod::Module, _path::String)  @ Base ./Base.jl:326  [35] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)  @ Base ./loading.jl:3271  [36] top-level scope  @ stdin:5  [37] eval(m::Module, e::Any)  @ Core ./boot.jl:517  [38] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base ./loading.jl:3113  [39] push!(a::Vector{SubString{String}}, item::String)  @ Base ./loading.jl:3123 [inlined]  [40] exec_options(opts::Base.JLOptions)  @ Base ./client.jl:353  [41] _start()  @ Base ./client.jl:596 in expression starting at /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:26 in expression starting at /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/MacroTools.jl:1 in expression starting at stdin:5 ✗ MacroTools 153.4 s ✓ OrderedCollections 443.5 s ✓ IterTools 83.5 s ✓ RandomExtensions 1.4 s ✓ Compat ┌ Info: JuliaLowering threw given input: │ code = │ :(function mutable_operate_to_fallback(::IsMutable, output, ::typeof(add_dot), a, b, c) where N │ #= /home/pkgeval/.julia/packages/MutableArithmetics/0Y9ZS/src/interface.jl:502 =# │ #= /home/pkgeval/.julia/packages/MutableArithmetics/0Y9ZS/src/interface.jl:503 =# │ return mutable_operate_to!(output, add_mul, a, adjoint(b), c) │ end) │ st0 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source,__macro_ctx__ │ [function] │ │ [where] │ │ [call] │ │ mutable_operate_to_fallback :: Identifier │ │ [::] │ │ IsMutable :: Identifier │ │ output :: Identifier │ │ [::] │ │ [call] │ │ typeof :: Identifier │ │ add_dot :: Identifier │ │ a :: Identifier │ │ b :: Identifier │ │ c :: Identifier │ │ N :: Identifier │ │ [block] │ │ [return] │ │ [call] │ │ mutable_operate_to! :: Identifier │ │ output :: Identifier │ │ add_mul :: Identifier │ │ a :: Identifier │ │ [call] │ │ adjoint :: Identifier │ │ b :: Identifier │ │ c :: Identifier │ │ │ st1 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source │ [function] │ │ [where] │ │ [call] │ │ mutable_operate_to_fallback :: Identifier │ scope_layer=1 │ [::] │ │ IsMutable :: Identifier │ scope_layer=1 │ output :: Identifier │ scope_layer=1 │ [::] │ │ [call] │ │ typeof :: Identifier │ scope_layer=1 │ add_dot :: Identifier │ scope_layer=1 │ a :: Identifier │ scope_layer=1 │ b :: Identifier │ scope_layer=1 │ c :: Identifier │ scope_layer=1 │ N :: Identifier │ scope_layer=1 │ [block] │ │ [return] │ │ [call] │ │ mutable_operate_to! :: Identifier │ scope_layer=1 │ output :: Identifier │ scope_layer=1 │ add_mul :: Identifier │ scope_layer=1 │ a :: Identifier │ scope_layer=1 │ [call] │ │ adjoint :: Identifier │ scope_layer=1 │ b :: Identifier │ scope_layer=1 │ c :: Identifier │ scope_layer=1 │ │ file = "/home/pkgeval/.julia/packages/MutableArithmetics/0Y9ZS/src/interface.jl" │ line = 502 └ mod = MutableArithmetics ERROR: LoadError: LoweringError: #= /home/pkgeval/.julia/packages/MutableArithmetics/0Y9ZS/src/interface.jl:502 =# - method definition declares type variable but does not use it in the type of any function parameter Expression:  (_typevar N core.Any core.Any) Containing expressions:  (_typevar N core.Any core.Any)  Detailed provenance:  (_typevar N core.Any core.Any) @#= /source/usr/share/julia/JuliaLowering/src/desugaring.jl:3012 =#  └─ N  └─ N  └─ @ /home/pkgeval/.julia/packages/MutableArithmetics/0Y9ZS/src/interface.jl:502  Stacktrace:  [1] expand_function_def(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, src::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, raw_args::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}}, wheres::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}}, body::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, rett::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:2860  [2] expand_forms_2(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, docs::Nothing)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4268  [3] Dict{Int64, Int64}()  @ Base /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4152 [inlined]  [4] expand_forms_2(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4469  [5] core_lowering_hook(code::Any, mod::Module, file::String, line::UInt64, world::UInt64, _warn::Bool)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/hooks.jl:30  [6] include(mapexpr::Function, mod::Module, _path::String)  @ Base ./Base.jl:327  [7] top-level scope  @ ~/.julia/packages/MutableArithmetics/0Y9ZS/src/MutableArithmetics.jl:61  [8] include(mod::Module, _path::String)  @ Base ./Base.jl:326  [9] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)  @ Base ./loading.jl:3271  [10] top-level scope  @ stdin:5  [11] eval(m::Module, e::Any)  @ Core ./boot.jl:517  [12] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base ./loading.jl:3113  [13] push!(a::Vector{SubString{String}}, item::String)  @ Base ./loading.jl:3123 [inlined]  [14] exec_options(opts::Base.JLOptions)  @ Base ./client.jl:353  [15] _start()  @ Base ./client.jl:596 in expression starting at /home/pkgeval/.julia/packages/MutableArithmetics/0Y9ZS/src/interface.jl:502 in expression starting at /home/pkgeval/.julia/packages/MutableArithmetics/0Y9ZS/src/MutableArithmetics.jl:7 in expression starting at stdin:5 ✗ MutableArithmetics ┌ Info: JuliaLowering threw given input: │ code = │ :(mutable struct ModuleHomomorphism{T <: RingElement} <: AbstractAlgebra.Map{AbstractAlgebra.FPModule{T}, AbstractAlgebra.FPModule{T}, AbstractAlgebra.FPModuleHomomorphism, ModuleHomomorphism} │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/generic/GenericTypes.jl:1159 =# │ domain::AbstractAlgebra.FPModule{T} │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/generic/GenericTypes.jl:1160 =# │ codomain::AbstractAlgebra.FPModule{T} │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/generic/GenericTypes.jl:1161 =# │ matrix::AbstractAlgebra.MatElem{T} │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/generic/GenericTypes.jl:1162 =# │ image_fn::Function │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/generic/GenericTypes.jl:1164 =# │ function ModuleHomomorphism{T}(D::AbstractAlgebra.FPModule{T}, C::AbstractAlgebra.FPModule{T}, m::AbstractAlgebra.MatElem{T}) where T <: RingElement │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/generic/GenericTypes.jl:1164 =# │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/generic/GenericTypes.jl:1165 =# │ z = new(D, C, m, (x::AbstractAlgebra.FPModuleElem{T}->begin │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/generic/GenericTypes.jl:1165 =# │ C(x.v * m) │ end)) │ end │ end) │ st0 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source,__macro_ctx__ │ [struct] │ │ true :: Value │ │ [<:] │ │ [curly] │ │ ModuleHomomorphism :: Identifier │ │ [<:] │ │ T :: Identifier │ │ RingElement :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ Map :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModuleHomomorphism :: Identifier │ │ ModuleHomomorphism :: Identifier │ │ [block] │ │ [::] │ │ domain :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ │ [::] │ │ codomain :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ │ [::] │ │ matrix :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ MatElem :: Identifier │ │ T :: Identifier │ │ [::] │ │ image_fn :: Identifier │ │ Function :: Identifier │ │ [function] │ │ [where] │ │ [call] │ │ [curly] │ │ ModuleHomomorphism :: Identifier │ │ T :: Identifier │ │ [::] │ │ D :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ │ [::] │ │ C :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ │ [::] │ │ m :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ MatElem :: Identifier │ │ T :: Identifier │ │ [<:] │ │ T :: Identifier │ │ RingElement :: Identifier │ │ [block] │ │ [=] │ │ z :: Identifier │ │ [call] │ │ new :: Identifier │ │ D :: Identifier │ │ C :: Identifier │ │ m :: Identifier │ │ [->] │ │ [::] │ │ x :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModuleElem :: Identifier │ │ T :: Identifier │ │ [block] │ │ [call] │ │ C :: Identifier │ │ [call] │ │ * :: Identifier │ │ [.] │ │ x :: Identifier │ │ [inert] │ │ v :: Identifier │ │ m :: Identifier │ │ │ st1 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source │ [struct] │ │ true :: Value │ │ [<:] │ scope_layer=1 │ [curly] │ │ ModuleHomomorphism :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ RingElement :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ Map :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModuleHomomorphism :: Identifier │ │ ModuleHomomorphism :: Identifier │ scope_layer=1 │ [block] │ │ [::] │ │ domain :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [::] │ │ codomain :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [::] │ │ matrix :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ MatElem :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [::] │ │ image_fn :: Identifier │ scope_layer=1 │ Function :: Identifier │ scope_layer=1 │ [function] │ │ [where] │ │ [call] │ │ [curly] │ │ ModuleHomomorphism :: Identifier │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ [::] │ │ D :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [::] │ │ C :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [::] │ │ m :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ MatElem :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ RingElement :: Identifier │ scope_layer=1 │ [block] │ │ [=] │ │ z :: Identifier │ scope_layer=1 │ [call] │ │ new :: Identifier │ scope_layer=1 │ D :: Identifier │ scope_layer=1 │ C :: Identifier │ scope_layer=1 │ m :: Identifier │ scope_layer=1 │ [->] │ │ [::] │ │ x :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModuleElem :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [block] │ │ [call] │ │ C :: Identifier │ scope_layer=1 │ [call] │ │ * :: Identifier │ scope_layer=1 │ [.] │ │ x :: Identifier │ scope_layer=1 │ [inert] │ │ v :: Identifier │ │ m :: Identifier │ scope_layer=1 │ │ file = "/home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/generic/GenericTypes.jl" │ line = 1157 └ mod = AbstractAlgebra.Generic ERROR: LoadError: LoweringError: #= /home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/generic/GenericTypes.jl:1165 =# - Found unexpected binding of kind static_parameter Expression:  #₃₄/T Containing expressions:  (= #₈₇/T #₃₄/T)  (call core.svec (call core.svec #₄₀/##->###0 (call core.apply_type (call top.getproperty #₂₇/AbstractAlgebra :FPModuleElem) #₃₄/T)) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/generic/GenericTypes.jl:1165:0)  (call core.svec (call core.svec (function_type #₃₅/#->#) (call core.apply_type (call top.getproperty #₂₇/AbstractAlgebra :FPModuleElem) #₃₄/T)) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/generic/GenericTypes.jl:1165:0)  Detailed provenance:  #₃₄/T  └─ T  └─ T  └─ @ /home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/generic/GenericTypes.jl:1165  Stacktrace:  [1] _renumber(ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, ssa_rewrites::Dict{Int64, Int64}, slot_rewrites::Dict{Int64, Int64}, label_table::Dict{Int64, Int64}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1067  [2] renumber_body(ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, input_code::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}}, slot_rewrites::Dict{Int64, Int64})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1132  [3] compile_lambda(outer_ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1223  [4] linearize_ir(ctx::Base.JuliaLowering.ClosureConversionCtx{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1253  [5] core_lowering_hook(code::Any, mod::Module, file::String, line::UInt64, world::UInt64, _warn::Bool)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/hooks.jl:33  [6] include(mapexpr::Function, mod::Module, _path::String)  @ Base ./Base.jl:327  [7] top-level scope  @ ~/.julia/packages/AbstractAlgebra/aF5Iw/src/Generic.jl:40  [8] include(mapexpr::Function, mod::Module, _path::String)  @ Base ./Base.jl:327  [9] top-level scope  @ ~/.julia/packages/AbstractAlgebra/aF5Iw/src/AbstractAlgebra.jl:363  [10] include(mod::Module, _path::String)  @ Base ./Base.jl:326  [11] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)  @ Base ./loading.jl:3271  [12] top-level scope  @ stdin:5  [13] eval(m::Module, e::Any)  @ Core ./boot.jl:517  [14] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base ./loading.jl:3113  [15] push!(a::Vector{SubString{String}}, item::String)  @ Base ./loading.jl:3123 [inlined]  [16] exec_options(opts::Base.JLOptions)  @ Base ./client.jl:353  [17] _start()  @ Base ./client.jl:596 in expression starting at /home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/generic/GenericTypes.jl:1157 in expression starting at /home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/Generic.jl:1 in expression starting at /home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/AbstractAlgebra.jl:1 in expression starting at stdin:5 ✗ AbstractAlgebra 0.6 s ✓ Compat → CompatLinearAlgebraExt 298.8 s ✓ DataStructures ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("d8a4904e-b15c-11e9-3269-09a3773c0cb0"), "MutableArithmetics") not available with flags CacheFlags(; use_pkgimages=false, debug_level=1, check_bounds=1, inline=true, opt_level=0) Stacktrace:  [1] error(s::String)  @ Base ./error.jl:56  [2] __require_prelocked(pkg::Base.PkgId, env::String)  @ Base ./loading.jl:2818  [3] _require_prelocked(uuidkey::Base.PkgId, env::String)  @ Base ./loading.jl:2672  [4] macro expansion  @ ./loading.jl:2599 [inlined]  [5] string(::String, ::Union{Char, SubString{String}, String, Symbol}, ::Symbol, ::String)  @ Base ./lock.jl:376 [inlined]  [6] __require(into::Module, mod::Symbol)  @ Base ./loading.jl:2563  [7] require  @ ./loading.jl:2539 [inlined]  [8] eval_import_path(at::Module, from::Nothing, path::Expr, keyword::String)  @ Base ./module.jl:36 [inlined]  [9] _eval_import(imported::Bool, to::Module, from::Nothing, paths::Expr)  @ Base ./module.jl:111  [10] eval_import(imported::Bool, to::Module, from::Nothing, paths::Expr)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/runtime.jl:195  [11] top-level scope  @ ~/.julia/packages/MultivariatePolynomials/vqcb5/src/MultivariatePolynomials.jl:7  [12] include(mod::Module, _path::String)  @ Base ./Base.jl:326  [13] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)  @ Base ./loading.jl:3271  [14] top-level scope  @ stdin:5  [15] eval(m::Module, e::Any)  @ Core ./boot.jl:517  [16] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base ./loading.jl:3113  [17] push!(a::Vector{SubString{String}}, item::String)  @ Base ./loading.jl:3123 [inlined]  [18] exec_options(opts::Base.JLOptions)  @ Base ./client.jl:353  [19] _start()  @ Base ./client.jl:596 in expression starting at /home/pkgeval/.julia/packages/MultivariatePolynomials/vqcb5/src/MultivariatePolynomials.jl:1 in expression starting at stdin:5 ✗ MultivariatePolynomials ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("d8a4904e-b15c-11e9-3269-09a3773c0cb0"), "MutableArithmetics") not available with flags CacheFlags(; use_pkgimages=false, debug_level=1, check_bounds=1, inline=true, opt_level=0) Stacktrace:  [1] error(s::String)  @ Base ./error.jl:56  [2] __require_prelocked(pkg::Base.PkgId, env::String)  @ Base ./loading.jl:2818  [3] _require_prelocked(uuidkey::Base.PkgId, env::String)  @ Base ./loading.jl:2672  [4] macro expansion  @ ./loading.jl:2599 [inlined]  [5] string(::String, ::Union{Char, SubString{String}, String, Symbol}, ::Symbol, ::String)  @ Base ./lock.jl:376 [inlined]  [6] __require(into::Module, mod::Symbol)  @ Base ./loading.jl:2563  [7] require  @ ./loading.jl:2539 [inlined]  [8] eval_import_path(at::Module, from::Nothing, path::Expr, keyword::String)  @ Base ./module.jl:36 [inlined]  [9] _eval_import(imported::Bool, to::Module, from::Nothing, paths::Expr)  @ Base ./module.jl:111  [10] eval_import(imported::Bool, to::Module, from::Nothing, paths::Expr)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/runtime.jl:195  [11] top-level scope  @ ~/.julia/packages/TypedPolynomials/w65Sh/src/TypedPolynomials.jl:3  [12] include(mod::Module, _path::String)  @ Base ./Base.jl:326  [13] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)  @ Base ./loading.jl:3271  [14] top-level scope  @ stdin:5  [15] eval(m::Module, e::Any)  @ Core ./boot.jl:517  [16] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base ./loading.jl:3113  [17] push!(a::Vector{SubString{String}}, item::String)  @ Base ./loading.jl:3123 [inlined]  [18] exec_options(opts::Base.JLOptions)  @ Base ./client.jl:353  [19] _start()  @ Base ./client.jl:596 in expression starting at /home/pkgeval/.julia/packages/TypedPolynomials/w65Sh/src/TypedPolynomials.jl:1 in expression starting at stdin:5 ✗ TypedPolynomials ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("102ac46a-7ee4-5c85-9060-abc95bfdeaa3"), "MultivariatePolynomials") not available with flags CacheFlags(; use_pkgimages=false, debug_level=1, check_bounds=1, inline=true, opt_level=0) Stacktrace:  [1] error(s::String)  @ Base ./error.jl:56  [2] __require_prelocked(pkg::Base.PkgId, env::String)  @ Base ./loading.jl:2818  [3] _require_prelocked(uuidkey::Base.PkgId, env::String)  @ Base ./loading.jl:2672  [4] macro expansion  @ ./loading.jl:2599 [inlined]  [5] string(::String, ::Union{Char, SubString{String}, String, Symbol}, ::Symbol, ::String)  @ Base ./lock.jl:376 [inlined]  [6] __require(into::Module, mod::Symbol)  @ Base ./loading.jl:2563  [7] require  @ ./loading.jl:2539 [inlined]  [8] eval_import_path(at::Module, from::Nothing, path::Expr, keyword::String)  @ Base ./module.jl:36 [inlined]  [9] eval_import_path_all(at::Module, path::Expr, keyword::String)  @ Base ./module.jl:60  [10] _eval_using(to::Module, path::Expr, flags::UInt8)  @ Base ./module.jl:137 [inlined]  [11] eval_using(to::Module, path::Expr)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/runtime.jl:207  [12] top-level scope  @ ~/.julia/packages/PolyhedralOmega/BtVXp/src/PolyhedralOmega.jl:2  [13] include(mod::Module, _path::String)  @ Base ./Base.jl:326  [14] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)  @ Base ./loading.jl:3271  [15] top-level scope  @ stdin:5  [16] eval(m::Module, e::Any)  @ Core ./boot.jl:517  [17] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base ./loading.jl:3113  [18] push!(a::Vector{SubString{String}}, item::String)  @ Base ./loading.jl:3123 [inlined]  [19] exec_options(opts::Base.JLOptions)  @ Base ./client.jl:353  [20] _start()  @ Base ./client.jl:596 in expression starting at /home/pkgeval/.julia/packages/PolyhedralOmega/BtVXp/src/PolyhedralOmega.jl:1 in expression starting at stdin:5 ✗ PolyhedralOmega 6 dependencies successfully precompiled in 1120 seconds. 32 already precompiled. Precompilation completed after 1150.37s ################################################################################ # Testing # Testing PolyhedralOmega Status `/tmp/jl_KKCovO/Project.toml` ⌅ [c3fe647b] AbstractAlgebra v0.12.0 [c8e1da08] IterTools v1.10.0 ⌅ [102ac46a] MultivariatePolynomials v0.3.18 [cb40c8c0] PolyhedralOmega v0.1.2 ⌅ [afbbf031] TypedPolynomials v0.2.12 [37e2e46d] LinearAlgebra v1.13.0 [2f01184e] SparseArrays v1.13.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_KKCovO/Manifest.toml` ⌅ [c3fe647b] AbstractAlgebra v0.12.0 [34da2185] Compat v4.18.1 ⌅ [864edb3b] DataStructures v0.18.22 [c8e1da08] IterTools v1.10.0 [1914dd2f] MacroTools v0.5.16 ⌅ [102ac46a] MultivariatePolynomials v0.3.18 ⌅ [d8a4904e] MutableArithmetics v0.2.22 [bac558e1] OrderedCollections v1.8.1 [cb40c8c0] PolyhedralOmega v0.1.2 [fb686558] RandomExtensions v0.4.4 ⌅ [afbbf031] TypedPolynomials v0.2.12 [0dad84c5] ArgTools v1.1.2 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [f43a241f] Downloads v1.7.0 [7b1f6079] FileWatching v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.13.0 [b27032c2] LibCURL v1.0.0 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.13.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [ca575930] NetworkOptions v1.3.0 [44cfe95a] Pkg v1.14.0 [de0858da] Printf v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v1.13.0 [9e88b42a] Serialization v1.11.0 [2f01184e] SparseArrays v1.13.0 [f489334b] StyledStrings v1.13.0 [fa267f1f] TOML v1.0.3 [a4e569a6] Tar v1.10.0 [8dfed614] Test v1.11.0 [cf7118a7] UUIDs v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.5.1+0 [deac9b47] LibCURL_jll v8.20.0+1 [e37daf67] LibGit2_jll v1.9.3+0 [29816b5a] LibSSH2_jll v1.11.101+0 [14a3606d] MozillaCACerts_jll v2026.5.14 [4536629a] OpenBLAS_jll v0.3.33+0 [458c3c95] OpenSSL_jll v3.5.6+0 [efcefdf7] PCRE2_jll v10.47.0+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.2+0 [3161d3a3] Zstd_jll v1.5.7+1 [8e850b90] libblastrampoline_jll v5.15.0+0 [8e850ede] nghttp2_jll v1.69.0+0 [3f19e933] p7zip_jll v17.8.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... ┌ Info: JuliaLowering threw given input: │ code = │ :(function destruct_key(pat, val, getm) │ #= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:26 =# │ #= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:27 =# │ #= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:27 =# @match pat begin │ #= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:28 =# │ _Symbol => destruct_key($(Expr(:quote, :($(Expr(:$, :pat)) = $(Expr(:$, :(Expr(:quote, pat))))))), val, getm) │ #= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:29 =# │ x_Symbol || y_ => destruct_key($(Expr(:quote, :($(Expr(:$, :x)) = $(Expr(:$, :(Expr(:quote, x)))) || $(Expr(:$, :y))))), val, getm) │ #= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:30 =# │ (x_ = y_) => destructm(x, destruct_key(y, val, getm)) │ #= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:31 =# │ x_ || y_ => getm(val, x, y) │ #= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:32 =# │ _ => atoms((i->begin │ #= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:32 =# │ getm(val, i) │ end), pat) │ end │ end) │ st0 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source,__macro_ctx__ │ [function] │ │ [call] │ │ destruct_key :: Identifier │ │ pat :: Identifier │ │ val :: Identifier │ │ getm :: Identifier │ │ [block] │ │ [macrocall] │ │ @match :: Identifier │ │ :(#= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:27 =#) :: Value │ │ pat :: Identifier │ │ [block] │ │ [call] │ │ => :: Identifier │ │ _Symbol :: Identifier │ │ [call] │ │ destruct_key :: Identifier │ │ [quote] │ │ [=] │ │ [$] │ │ pat :: Identifier │ │ [$] │ │ [call] │ │ Expr :: Identifier │ │ [inert] │ │ quote :: Identifier │ │ pat :: Identifier │ │ val :: Identifier │ │ getm :: Identifier │ │ [call] │ │ => :: Identifier │ │ [||] │ │ x_Symbol :: Identifier │ │ y_ :: Identifier │ │ [call] │ │ destruct_key :: Identifier │ │ [quote] │ │ [=] │ │ [$] │ │ x :: Identifier │ │ [||] │ │ [$] │ │ [call] │ │ Expr :: Identifier │ │ [inert] │ │ quote :: Identifier │ │ x :: Identifier │ │ [$] │ │ y :: Identifier │ │ val :: Identifier │ │ getm :: Identifier │ │ [call] │ │ => :: Identifier │ │ [=] │ │ x_ :: Identifier │ │ y_ :: Identifier │ │ [call] │ │ destructm :: Identifier │ │ x :: Identifier │ │ [call] │ │ destruct_key :: Identifier │ │ y :: Identifier │ │ val :: Identifier │ │ getm :: Identifier │ │ [call] │ │ => :: Identifier │ │ [||] │ │ x_ :: Identifier │ │ y_ :: Identifier │ │ [call] │ │ getm :: Identifier │ │ val :: Identifier │ │ x :: Identifier │ │ y :: Identifier │ │ [call] │ │ => :: Identifier │ │ _ :: Identifier │ │ [call] │ │ atoms :: Identifier │ │ [->] │ │ i :: Identifier │ │ [block] │ │ [call] │ │ getm :: Identifier │ │ val :: Identifier │ │ i :: Identifier │ │ pat :: Identifier │ │ │ st1 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source │ [function] │ │ [call] │ │ destruct_key :: Identifier │ scope_layer=1 │ pat :: Identifier │ scope_layer=1 │ val :: Identifier │ scope_layer=1 │ getm :: Identifier │ scope_layer=1 │ [block] │ │ [block] │ │ [=] │ │ ex :: Identifier │ scope_layer=2 │ pat :: Identifier │ scope_layer=1 │ [block] │ │ [=] │ │ env :: Identifier │ scope_layer=2 │ [call] │ │ trymatch :: Identifier │ scope_layer=2 │ [call] │ jl_source=L67 │ Base.JuliaLowering.interpolate_ast :: Value │ jl_source=L67 │ Expr :: Value │ jl_source=L67 │ [inert] │ jl_source=L67 │ [$] │ │ [call] │ │ MacroTools.TypeBind :: Value │ │ [quote] │ │ :: Identifier │ │ [call] │ │ [curly] │ │ Set :: Identifier │ │ Any :: Identifier │ │ [vect] │ │ Symbol :: Identifier │ │ [tuple] │ jl_source=L31 │ [call] │ │ MacroTools.TypeBind :: Value │ macro_source=85 │ [inert] │ jl_source=L65 │ :: Identifier │ │ [call] │ │ [curly] │ │ Set :: Identifier │ scope_layer=2 │ Any :: Identifier │ scope_layer=2 │ [vect] │ │ Symbol :: Identifier │ scope_layer=2 │ ex :: Identifier │ scope_layer=2 │ [if] │ │ [call] │ │ !== :: Identifier │ scope_layer=2 │ env :: Identifier │ scope_layer=2 │ nothing :: Identifier │ scope_layer=2 │ [block] │ │ [let] │ │ [block] │ │ [=] │ │ env :: Identifier │ scope_layer=1 │ env :: Identifier │ scope_layer=2 │ [=] │ │ :: Identifier │ scope_layer=1 │ [call] │ │ get :: Identifier │ scope_layer=2 │ env :: Identifier │ scope_layer=2 │ [inert] │ jl_source=L65 │ :: Identifier │ │ nothing :: Identifier │ scope_layer=2 │ [block] │ │ [block] │ │ [call] │ │ destruct_key :: Identifier │ scope_layer=1 │ [call] │ jl_source=L67 │ Base.JuliaLowering.interpolate_ast :: Value │ jl_source=L67 │ Expr :: Value │ jl_source=L67 │ [inert] │ jl_source=L67 │ [=] │ │ [$] │ │ pat :: Identifier │ │ [$] │ │ [call] │ │ Expr :: Identifier │ │ [inert] │ │ quote :: Identifier │ │ pat :: Identifier │ │ [tuple] │ jl_source=L31 │ pat :: Identifier │ scope_layer=1 │ [tuple] │ jl_source=L31 │ [call] │ │ Expr :: Identifier │ scope_layer=1 │ [inert] │ │ quote :: Identifier │ │ pat :: Identifier │ scope_layer=1 │ val :: Identifier │ scope_layer=1 │ getm :: Identifier │ scope_layer=1 │ [block] │ │ [block] │ │ [=] │ │ env :: Identifier │ scope_layer=2 │ [call] │ │ trymatch :: Identifier │ scope_layer=2 │ [call] │ jl_source=L67 │ Base.JuliaLowering.interpolate_ast :: Value │ jl_source=L67 │ Expr :: Value │ jl_source=L67 │ [inert] │ jl_source=L67 │ [||] │ │ [$] │ │ [call] │ │ MacroTools.TypeBind :: Value │ │ [quote] │ │ x :: Identifier │ │ [call] │ │ [curly] │ │ Set :: Identifier │ │ Any :: Identifier │ │ [vect] │ │ Symbol :: Identifier │ │ y_ :: Identifier │ │ [tuple] │ jl_source=L31 │ [call] │ │ MacroTools.TypeBind :: Value │ macro_source=85 │ [inert] │ jl_source=L65 │ x :: Identifier │ │ [call] │ │ [curly] │ │ Set :: Identifier │ scope_layer=2 │ Any :: Identifier │ scope_layer=2 │ [vect] │ │ Symbol :: Identifier │ scope_layer=2 │ ex :: Identifier │ scope_layer=2 │ [if] │ │ [call] │ │ !== :: Identifier │ scope_layer=2 │ env :: Identifier │ scope_layer=2 │ nothing :: Identifier │ scope_layer=2 │ [block] │ │ [let] │ │ [block] │ │ [=] │ │ env :: Identifier │ scope_layer=1 │ env :: Identifier │ scope_layer=2 │ [=] │ │ x :: Identifier │ scope_layer=1 │ [call] │ │ get :: Identifier │ scope_layer=2 │ env :: Identifier │ scope_layer=2 │ [inert] │ jl_source=L65 │ x :: Identifier │ │ nothing :: Identifier │ scope_layer=2 │ [=] │ │ y :: Identifier │ scope_layer=1 │ [call] │ │ get :: Identifier │ scope_layer=2 │ env :: Identifier │ scope_layer=2 │ [inert] │ jl_source=L65 │ y :: Identifier │ │ nothing :: Identifier │ scope_layer=2 │ [block] │ │ [block] │ │ [call] │ │ destruct_key :: Identifier │ scope_layer=1 │ [call] │ jl_source=L67 │ Base.JuliaLowering.interpolate_ast :: Value │ jl_source=L67 │ Expr :: Value │ jl_source=L67 │ [inert] │ jl_source=L67 │ [=] │ │ [$] │ │ x :: Identifier │ │ [||] │ │ [$] │ │ [call] │ │ Expr :: Identifier │ │ [inert] │ │ quote :: Identifier │ │ x :: Identifier │ │ [$] │ │ y :: Identifier │ │ [tuple] │ jl_source=L31 │ x :: Identifier │ scope_layer=1 │ [tuple] │ jl_source=L31 │ [call] │ │ Expr :: Identifier │ scope_layer=1 │ [inert] │ │ quote :: Identifier │ │ x :: Identifier │ scope_layer=1 │ [tuple] │ jl_source=L31 │ y :: Identifier │ scope_layer=1 │ val :: Identifier │ scope_layer=1 │ getm :: Identifier │ scope_layer=1 │ [block] │ │ [block] │ │ [=] │ │ env :: Identifier │ scope_layer=2 │ [call] │ │ trymatch :: Identifier │ scope_layer=2 │ [call] │ jl_source=L67 │ Base.JuliaLowering.interpolate_ast :: Value │ jl_source=L67 │ Expr :: Value │ jl_source=L67 │ [inert] │ jl_source=L67 │ [=] │ │ x_ :: Identifier │ │ y_ :: Identifier │ │ ex :: Identifier │ scope_layer=2 │ [if] │ │ [call] │ │ !== :: Identifier │ scope_layer=2 │ env :: Identifier │ scope_layer=2 │ nothing :: Identifier │ scope_layer=2 │ [block] │ │ [let] │ │ [block] │ │ [=] │ │ env :: Identifier │ scope_layer=1 │ env :: Identifier │ scope_layer=2 │ [=] │ │ x :: Identifier │ scope_layer=1 │ [call] │ │ get :: Identifier │ scope_layer=2 │ env :: Identifier │ scope_layer=2 │ [inert] │ jl_source=L65 │ x :: Identifier │ │ nothing :: Identifier │ scope_layer=2 │ [=] │ │ y :: Identifier │ scope_layer=1 │ [call] │ │ get :: Identifier │ scope_layer=2 │ env :: Identifier │ scope_layer=2 │ [inert] │ jl_source=L65 │ y :: Identifier │ │ nothing :: Identifier │ scope_layer=2 │ [block] │ │ [block] │ │ [call] │ │ destructm :: Identifier │ scope_layer=1 │ x :: Identifier │ scope_layer=1 │ [call] │ │ destruct_key :: Identifier │ scope_layer=1 │ y :: Identifier │ scope_layer=1 │ val :: Identifier │ scope_layer=1 │ getm :: Identifier │ scope_layer=1 │ [block] │ │ [block] │ │ [=] │ │ env :: Identifier │ scope_layer=2 │ [call] │ │ trymatch :: Identifier │ scope_layer=2 │ [call] │ jl_source=L67 │ Base.JuliaLowering.interpolate_ast :: Value │ jl_source=L67 │ Expr :: Value │ jl_source=L67 │ [inert] │ jl_source=L67 │ [||] │ │ x_ :: Identifier │ │ y_ :: Identifier │ │ ex :: Identifier │ scope_layer=2 │ [if] │ │ [call] │ │ !== :: Identifier │ scope_layer=2 │ env :: Identifier │ scope_layer=2 │ nothing :: Identifier │ scope_layer=2 │ [block] │ │ [let] │ │ [block] │ │ [=] │ │ env :: Identifier │ scope_layer=1 │ env :: Identifier │ scope_layer=2 │ [=] │ │ x :: Identifier │ scope_layer=1 │ [call] │ │ get :: Identifier │ scope_layer=2 │ env :: Identifier │ scope_layer=2 │ [inert] │ jl_source=L65 │ x :: Identifier │ │ nothing :: Identifier │ scope_layer=2 │ [=] │ │ y :: Identifier │ scope_layer=1 │ [call] │ │ get :: Identifier │ scope_layer=2 │ env :: Identifier │ scope_layer=2 │ [inert] │ jl_source=L65 │ y :: Identifier │ │ nothing :: Identifier │ scope_layer=2 │ [block] │ │ [block] │ │ [call] │ │ getm :: Identifier │ scope_layer=1 │ val :: Identifier │ scope_layer=1 │ x :: Identifier │ scope_layer=1 │ y :: Identifier │ scope_layer=1 │ [block] │ │ [block] │ │ [=] │ │ env :: Identifier │ scope_layer=2 │ [call] │ │ trymatch :: Identifier │ scope_layer=2 │ [inert] │ jl_source=L65 │ _ :: Identifier │ │ ex :: Identifier │ scope_layer=2 │ [if] │ │ [call] │ │ !== :: Identifier │ scope_layer=2 │ env :: Identifier │ scope_layer=2 │ nothing :: Identifier │ scope_layer=2 │ [block] │ │ [let] │ │ [block] │ │ [=] │ │ env :: Identifier │ scope_layer=1 │ env :: Identifier │ scope_layer=2 │ [block] │ │ [block] │ │ [call] │ │ atoms :: Identifier │ scope_layer=1 │ [->] │ │ i :: Identifier │ scope_layer=1 │ [block] │ │ [call] │ │ getm :: Identifier │ scope_layer=1 │ val :: Identifier │ scope_layer=1 │ i :: Identifier │ scope_layer=1 │ pat :: Identifier │ scope_layer=1 │ [block] │ macro_source=85 │ nothing :: Value │ macro_source=85 │ │ file = "/home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl" │ line = 26 └ mod = MacroTools ERROR: LoadError: LoweringError: #= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/match/macro.jl:29 =# - Invalid assignment location in let syntax Expression:  Containing expressions:  (let (block (= env env) (= (call get env : nothing))) (block (block (call destruct_key (call Base.JuliaLowering.interpolate_ast Expr (inert (= ($ pat) ($ (call Expr (inert quote) pat)))) (tuple pat) (tuple (call Expr :quote pat))) val getm))))  Detailed provenance:   └─  └─  ├─ @ /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/match/macro.jl:29  └─ (macrocall @match :(#= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:27 =#) pat (block (call => _Symbol (call destruct_key (quote (= ($ pat) ($ (call Expr (inert quote) pat)))) val getm)) (call => (|| x_Symbol y_) (call destruct_key (quote (= ($ x) (|| ($ (call Expr (inert quote) x)) ($ y)))) val getm)) (call => (= x_ y_) (call destructm x (call destruct_key y val getm))) (call => (|| x_ y_) (call getm val x y)) (call => _ (call atoms (-> i (block (call getm val i))) pat))))  └─ @ /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:27  Stacktrace:  [1] expand_let(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:1561  [2] expand_forms_2(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, docs::Nothing)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4293  [3] expand_forms_2  @ /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4152 [inlined]  [4] #expand_forms_2##2  @ /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4440 [inlined]  [5] mapchildren(f::Base.JuliaLowering.var"#expand_forms_2##2#expand_forms_2##3"{Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}}, ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:707  [6] expand_forms_2(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, docs::Nothing)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4440  [7] iterate(A::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, SubArray{Int64, 1, Vector{Int64}, Tuple{UnitRange{Int64}}, true}})  @ Base /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4152 [inlined]  [8] expand_forms_2(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, exs::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, SubArray{Int64, 1, Vector{Int64}, Tuple{UnitRange{Int64}}, true}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4447  [9] getindex(ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, i::Int64)  @ Base.JuliaSyntax /source/usr/share/julia/JuliaLowering/src/ast.jl:355 [inlined]  [10] expand_forms_2(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, docs::Nothing)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4288  [11] expand_forms_2  @ /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4152 [inlined]  [12] #expand_forms_2##2  @ /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4440 [inlined]  [13] mapchildren(f::Base.JuliaLowering.var"#expand_forms_2##2#expand_forms_2##3"{Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}}, ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:707  [14] expand_forms_2(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, docs::Nothing)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4440  [15] expand_forms_2  @ /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4152 [inlined]  [16] #expand_forms_2##2  @ /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4440 [inlined]  [17] mapchildren(f::Base.JuliaLowering.var"#expand_forms_2##2#expand_forms_2##3"{Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}}, ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:707  [18] expand_forms_2(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, docs::Nothing)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4440  [19] expand_forms_2  @ /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4152 [inlined]  [20] #expand_forms_2##2  @ /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4440 [inlined]  [21] mapchildren(f::Base.JuliaLowering.var"#expand_forms_2##2#expand_forms_2##3"{Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}}, ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:707  [22] expand_forms_2(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, docs::Nothing)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4440  [23] _node_id(graph::Base.JuliaSyntax.SyntaxGraph{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4152 [inlined]  [24] _push_nodeid!(graph::Base.JuliaSyntax.SyntaxGraph{Dict{Symbol, Dict{Int64, Any}}}, ids::Vector{Int64}, val::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/ast.jl:288 [inlined]  [25] method_def_expr(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, src::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, mtable::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, sparams::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}}, argl::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}}, body::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, rett::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:2419  [26] (::Colon)(start::Int64, stop::Int64)  @ Base /source/usr/share/julia/JuliaLowering/src/ast.jl:355 [inlined]  [27] expand_function_def(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, src::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, raw_args::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}}, wheres::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}}, body::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, rett::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:2873  [28] expand_forms_2(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, docs::Nothing)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4268  [29] Dict{Int64, Int64}()  @ Base /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4152 [inlined]  [30] expand_forms_2(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4469  [31] core_lowering_hook(code::Any, mod::Module, file::String, line::UInt64, world::UInt64, _warn::Bool)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/hooks.jl:30  [32] include(mapexpr::Function, mod::Module, _path::String)  @ Base ./Base.jl:327  [33] top-level scope  @ ~/.julia/packages/MacroTools/Ar0jT/src/MacroTools.jl:13  [34] include(mod::Module, _path::String)  @ Base ./Base.jl:326  [35] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)  @ Base ./loading.jl:3271  [36] top-level scope  @ stdin:5  [37] eval(m::Module, e::Any)  @ Core ./boot.jl:517  [38] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base ./loading.jl:3113  [39] push!(a::Vector{SubString{String}}, item::String)  @ Base ./loading.jl:3123 [inlined]  [40] exec_options(opts::Base.JLOptions)  @ Base ./client.jl:353  [41] _start()  @ Base ./client.jl:596 in expression starting at /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:26 in expression starting at /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/MacroTools.jl:1 in expression starting at stdin:5 ┌ Info: JuliaLowering threw given input: │ code = │ :(function mutable_operate_to_fallback(::IsMutable, output, ::typeof(add_dot), a, b, c) where N │ #= /home/pkgeval/.julia/packages/MutableArithmetics/0Y9ZS/src/interface.jl:502 =# │ #= /home/pkgeval/.julia/packages/MutableArithmetics/0Y9ZS/src/interface.jl:503 =# │ return mutable_operate_to!(output, add_mul, a, adjoint(b), c) │ end) │ st0 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source,__macro_ctx__ │ [function] │ │ [where] │ │ [call] │ │ mutable_operate_to_fallback :: Identifier │ │ [::] │ │ IsMutable :: Identifier │ │ output :: Identifier │ │ [::] │ │ [call] │ │ typeof :: Identifier │ │ add_dot :: Identifier │ │ a :: Identifier │ │ b :: Identifier │ │ c :: Identifier │ │ N :: Identifier │ │ [block] │ │ [return] │ │ [call] │ │ mutable_operate_to! :: Identifier │ │ output :: Identifier │ │ add_mul :: Identifier │ │ a :: Identifier │ │ [call] │ │ adjoint :: Identifier │ │ b :: Identifier │ │ c :: Identifier │ │ │ st1 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source │ [function] │ │ [where] │ │ [call] │ │ mutable_operate_to_fallback :: Identifier │ scope_layer=1 │ [::] │ │ IsMutable :: Identifier │ scope_layer=1 │ output :: Identifier │ scope_layer=1 │ [::] │ │ [call] │ │ typeof :: Identifier │ scope_layer=1 │ add_dot :: Identifier │ scope_layer=1 │ a :: Identifier │ scope_layer=1 │ b :: Identifier │ scope_layer=1 │ c :: Identifier │ scope_layer=1 │ N :: Identifier │ scope_layer=1 │ [block] │ │ [return] │ │ [call] │ │ mutable_operate_to! :: Identifier │ scope_layer=1 │ output :: Identifier │ scope_layer=1 │ add_mul :: Identifier │ scope_layer=1 │ a :: Identifier │ scope_layer=1 │ [call] │ │ adjoint :: Identifier │ scope_layer=1 │ b :: Identifier │ scope_layer=1 │ c :: Identifier │ scope_layer=1 │ │ file = "/home/pkgeval/.julia/packages/MutableArithmetics/0Y9ZS/src/interface.jl" │ line = 502 └ mod = MutableArithmetics ERROR: LoadError: LoweringError: #= /home/pkgeval/.julia/packages/MutableArithmetics/0Y9ZS/src/interface.jl:502 =# - method definition declares type variable but does not use it in the type of any function parameter Expression:  (_typevar N core.Any core.Any) Containing expressions:  (_typevar N core.Any core.Any)  Detailed provenance:  (_typevar N core.Any core.Any) @#= /source/usr/share/julia/JuliaLowering/src/desugaring.jl:3012 =#  └─ N  └─ N  └─ @ /home/pkgeval/.julia/packages/MutableArithmetics/0Y9ZS/src/interface.jl:502  Stacktrace:  [1] expand_function_def(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, src::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, raw_args::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}}, wheres::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}}, body::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, rett::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:2860  [2] expand_forms_2(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, docs::Nothing)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4268  [3] Dict{Int64, Int64}()  @ Base /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4152 [inlined]  [4] expand_forms_2(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4469  [5] core_lowering_hook(code::Any, mod::Module, file::String, line::UInt64, world::UInt64, _warn::Bool)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/hooks.jl:30  [6] include(mapexpr::Function, mod::Module, _path::String)  @ Base ./Base.jl:327  [7] top-level scope  @ ~/.julia/packages/MutableArithmetics/0Y9ZS/src/MutableArithmetics.jl:61  [8] include(mod::Module, _path::String)  @ Base ./Base.jl:326  [9] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)  @ Base ./loading.jl:3271  [10] top-level scope  @ stdin:5  [11] eval(m::Module, e::Any)  @ Core ./boot.jl:517  [12] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base ./loading.jl:3113  [13] push!(a::Vector{SubString{String}}, item::String)  @ Base ./loading.jl:3123 [inlined]  [14] exec_options(opts::Base.JLOptions)  @ Base ./client.jl:353  [15] _start()  @ Base ./client.jl:596 in expression starting at /home/pkgeval/.julia/packages/MutableArithmetics/0Y9ZS/src/interface.jl:502 in expression starting at /home/pkgeval/.julia/packages/MutableArithmetics/0Y9ZS/src/MutableArithmetics.jl:7 in expression starting at stdin:5 ┌ Info: JuliaLowering threw given input: │ code = │ :(mutable struct ModuleHomomorphism{T <: RingElement} <: AbstractAlgebra.Map{AbstractAlgebra.FPModule{T}, AbstractAlgebra.FPModule{T}, AbstractAlgebra.FPModuleHomomorphism, ModuleHomomorphism} │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/generic/GenericTypes.jl:1159 =# │ domain::AbstractAlgebra.FPModule{T} │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/generic/GenericTypes.jl:1160 =# │ codomain::AbstractAlgebra.FPModule{T} │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/generic/GenericTypes.jl:1161 =# │ matrix::AbstractAlgebra.MatElem{T} │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/generic/GenericTypes.jl:1162 =# │ image_fn::Function │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/generic/GenericTypes.jl:1164 =# │ function ModuleHomomorphism{T}(D::AbstractAlgebra.FPModule{T}, C::AbstractAlgebra.FPModule{T}, m::AbstractAlgebra.MatElem{T}) where T <: RingElement │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/generic/GenericTypes.jl:1164 =# │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/generic/GenericTypes.jl:1165 =# │ z = new(D, C, m, (x::AbstractAlgebra.FPModuleElem{T}->begin │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/generic/GenericTypes.jl:1165 =# │ C(x.v * m) │ end)) │ end │ end) │ st0 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source,__macro_ctx__ │ [struct] │ │ true :: Value │ │ [<:] │ │ [curly] │ │ ModuleHomomorphism :: Identifier │ │ [<:] │ │ T :: Identifier │ │ RingElement :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ Map :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModuleHomomorphism :: Identifier │ │ ModuleHomomorphism :: Identifier │ │ [block] │ │ [::] │ │ domain :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ │ [::] │ │ codomain :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ │ [::] │ │ matrix :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ MatElem :: Identifier │ │ T :: Identifier │ │ [::] │ │ image_fn :: Identifier │ │ Function :: Identifier │ │ [function] │ │ [where] │ │ [call] │ │ [curly] │ │ ModuleHomomorphism :: Identifier │ │ T :: Identifier │ │ [::] │ │ D :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ │ [::] │ │ C :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ │ [::] │ │ m :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ MatElem :: Identifier │ │ T :: Identifier │ │ [<:] │ │ T :: Identifier │ │ RingElement :: Identifier │ │ [block] │ │ [=] │ │ z :: Identifier │ │ [call] │ │ new :: Identifier │ │ D :: Identifier │ │ C :: Identifier │ │ m :: Identifier │ │ [->] │ │ [::] │ │ x :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModuleElem :: Identifier │ │ T :: Identifier │ │ [block] │ │ [call] │ │ C :: Identifier │ │ [call] │ │ * :: Identifier │ │ [.] │ │ x :: Identifier │ │ [inert] │ │ v :: Identifier │ │ m :: Identifier │ │ │ st1 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source │ [struct] │ │ true :: Value │ │ [<:] │ scope_layer=1 │ [curly] │ │ ModuleHomomorphism :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ RingElement :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ Map :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModuleHomomorphism :: Identifier │ │ ModuleHomomorphism :: Identifier │ scope_layer=1 │ [block] │ │ [::] │ │ domain :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [::] │ │ codomain :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [::] │ │ matrix :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ MatElem :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [::] │ │ image_fn :: Identifier │ scope_layer=1 │ Function :: Identifier │ scope_layer=1 │ [function] │ │ [where] │ │ [call] │ │ [curly] │ │ ModuleHomomorphism :: Identifier │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ [::] │ │ D :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [::] │ │ C :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [::] │ │ m :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ MatElem :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ RingElement :: Identifier │ scope_layer=1 │ [block] │ │ [=] │ │ z :: Identifier │ scope_layer=1 │ [call] │ │ new :: Identifier │ scope_layer=1 │ D :: Identifier │ scope_layer=1 │ C :: Identifier │ scope_layer=1 │ m :: Identifier │ scope_layer=1 │ [->] │ │ [::] │ │ x :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModuleElem :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [block] │ │ [call] │ │ C :: Identifier │ scope_layer=1 │ [call] │ │ * :: Identifier │ scope_layer=1 │ [.] │ │ x :: Identifier │ scope_layer=1 │ [inert] │ │ v :: Identifier │ │ m :: Identifier │ scope_layer=1 │ │ file = "/home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/generic/GenericTypes.jl" │ line = 1157 └ mod = AbstractAlgebra.Generic ERROR: LoadError: LoweringError: #= /home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/generic/GenericTypes.jl:1165 =# - Found unexpected binding of kind static_parameter Expression:  #₃₄/T Containing expressions:  (= #₈₇/T #₃₄/T)  (call core.svec (call core.svec #₄₀/##->###0 (call core.apply_type (call top.getproperty #₂₇/AbstractAlgebra :FPModuleElem) #₃₄/T)) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/generic/GenericTypes.jl:1165:0)  (call core.svec (call core.svec (function_type #₃₅/#->#) (call core.apply_type (call top.getproperty #₂₇/AbstractAlgebra :FPModuleElem) #₃₄/T)) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/generic/GenericTypes.jl:1165:0)  Detailed provenance:  #₃₄/T  └─ T  └─ T  └─ @ /home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/generic/GenericTypes.jl:1165  Stacktrace:  [1] _renumber(ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, ssa_rewrites::Dict{Int64, Int64}, slot_rewrites::Dict{Int64, Int64}, label_table::Dict{Int64, Int64}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1067  [2] renumber_body(ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, input_code::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}}, slot_rewrites::Dict{Int64, Int64})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1132  [3] compile_lambda(outer_ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1223  [4] linearize_ir(ctx::Base.JuliaLowering.ClosureConversionCtx{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1253  [5] core_lowering_hook(code::Any, mod::Module, file::String, line::UInt64, world::UInt64, _warn::Bool)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/hooks.jl:33  [6] include(mapexpr::Function, mod::Module, _path::String)  @ Base ./Base.jl:327  [7] top-level scope  @ ~/.julia/packages/AbstractAlgebra/aF5Iw/src/Generic.jl:40  [8] include(mapexpr::Function, mod::Module, _path::String)  @ Base ./Base.jl:327  [9] top-level scope  @ ~/.julia/packages/AbstractAlgebra/aF5Iw/src/AbstractAlgebra.jl:363  [10] include(mod::Module, _path::String)  @ Base ./Base.jl:326  [11] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)  @ Base ./loading.jl:3271  [12] top-level scope  @ stdin:5  [13] eval(m::Module, e::Any)  @ Core ./boot.jl:517  [14] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base ./loading.jl:3113  [15] push!(a::Vector{SubString{String}}, item::String)  @ Base ./loading.jl:3123 [inlined]  [16] exec_options(opts::Base.JLOptions)  @ Base ./client.jl:353  [17] _start()  @ Base ./client.jl:596 in expression starting at /home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/generic/GenericTypes.jl:1157 in expression starting at /home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/Generic.jl:1 in expression starting at /home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/AbstractAlgebra.jl:1 in expression starting at stdin:5 ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("d8a4904e-b15c-11e9-3269-09a3773c0cb0"), "MutableArithmetics") not available with flags CacheFlags(; use_pkgimages=false, debug_level=1, check_bounds=1, inline=true, opt_level=0) Stacktrace:  [1] error(s::String)  @ Base ./error.jl:56  [2] __require_prelocked(pkg::Base.PkgId, env::String)  @ Base ./loading.jl:2818  [3] _require_prelocked(uuidkey::Base.PkgId, env::String)  @ Base ./loading.jl:2672  [4] macro expansion  @ ./loading.jl:2599 [inlined]  [5] string(::String, ::Union{Char, SubString{String}, String, Symbol}, ::Symbol, ::String)  @ Base ./lock.jl:376 [inlined]  [6] __require(into::Module, mod::Symbol)  @ Base ./loading.jl:2563  [7] require  @ ./loading.jl:2539 [inlined]  [8] eval_import_path(at::Module, from::Nothing, path::Expr, keyword::String)  @ Base ./module.jl:36 [inlined]  [9] _eval_import(imported::Bool, to::Module, from::Nothing, paths::Expr)  @ Base ./module.jl:111  [10] eval_import(imported::Bool, to::Module, from::Nothing, paths::Expr)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/runtime.jl:195  [11] top-level scope  @ ~/.julia/packages/MultivariatePolynomials/vqcb5/src/MultivariatePolynomials.jl:7  [12] include(mod::Module, _path::String)  @ Base ./Base.jl:326  [13] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)  @ Base ./loading.jl:3271  [14] top-level scope  @ stdin:5  [15] eval(m::Module, e::Any)  @ Core ./boot.jl:517  [16] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base ./loading.jl:3113  [17] push!(a::Vector{SubString{String}}, item::String)  @ Base ./loading.jl:3123 [inlined]  [18] exec_options(opts::Base.JLOptions)  @ Base ./client.jl:353  [19] _start()  @ Base ./client.jl:596 in expression starting at /home/pkgeval/.julia/packages/MultivariatePolynomials/vqcb5/src/MultivariatePolynomials.jl:1 in expression starting at stdin:5 ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("d8a4904e-b15c-11e9-3269-09a3773c0cb0"), "MutableArithmetics") not available with flags CacheFlags(; use_pkgimages=false, debug_level=1, check_bounds=1, inline=true, opt_level=0) Stacktrace:  [1] error(s::String)  @ Base ./error.jl:56  [2] __require_prelocked(pkg::Base.PkgId, env::String)  @ Base ./loading.jl:2818  [3] _require_prelocked(uuidkey::Base.PkgId, env::String)  @ Base ./loading.jl:2672  [4] macro expansion  @ ./loading.jl:2599 [inlined]  [5] string(::String, ::Union{Char, SubString{String}, String, Symbol}, ::Symbol, ::String)  @ Base ./lock.jl:376 [inlined]  [6] __require(into::Module, mod::Symbol)  @ Base ./loading.jl:2563  [7] require  @ ./loading.jl:2539 [inlined]  [8] eval_import_path(at::Module, from::Nothing, path::Expr, keyword::String)  @ Base ./module.jl:36 [inlined]  [9] _eval_import(imported::Bool, to::Module, from::Nothing, paths::Expr)  @ Base ./module.jl:111  [10] eval_import(imported::Bool, to::Module, from::Nothing, paths::Expr)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/runtime.jl:195  [11] top-level scope  @ ~/.julia/packages/TypedPolynomials/w65Sh/src/TypedPolynomials.jl:3  [12] include(mod::Module, _path::String)  @ Base ./Base.jl:326  [13] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)  @ Base ./loading.jl:3271  [14] top-level scope  @ stdin:5  [15] eval(m::Module, e::Any)  @ Core ./boot.jl:517  [16] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base ./loading.jl:3113  [17] push!(a::Vector{SubString{String}}, item::String)  @ Base ./loading.jl:3123 [inlined]  [18] exec_options(opts::Base.JLOptions)  @ Base ./client.jl:353  [19] _start()  @ Base ./client.jl:596 in expression starting at /home/pkgeval/.julia/packages/TypedPolynomials/w65Sh/src/TypedPolynomials.jl:1 in expression starting at stdin:5 ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("102ac46a-7ee4-5c85-9060-abc95bfdeaa3"), "MultivariatePolynomials") not available with flags CacheFlags(; use_pkgimages=false, debug_level=1, check_bounds=1, inline=true, opt_level=0) Stacktrace:  [1] error(s::String)  @ Base ./error.jl:56  [2] __require_prelocked(pkg::Base.PkgId, env::String)  @ Base ./loading.jl:2818  [3] _require_prelocked(uuidkey::Base.PkgId, env::String)  @ Base ./loading.jl:2672  [4] macro expansion  @ ./loading.jl:2599 [inlined]  [5] string(::String, ::Union{Char, SubString{String}, String, Symbol}, ::Symbol, ::String)  @ Base ./lock.jl:376 [inlined]  [6] __require(into::Module, mod::Symbol)  @ Base ./loading.jl:2563  [7] require  @ ./loading.jl:2539 [inlined]  [8] eval_import_path(at::Module, from::Nothing, path::Expr, keyword::String)  @ Base ./module.jl:36 [inlined]  [9] eval_import_path_all(at::Module, path::Expr, keyword::String)  @ Base ./module.jl:60  [10] _eval_using(to::Module, path::Expr, flags::UInt8)  @ Base ./module.jl:137 [inlined]  [11] eval_using(to::Module, path::Expr)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/runtime.jl:207  [12] top-level scope  @ ~/.julia/packages/PolyhedralOmega/BtVXp/src/PolyhedralOmega.jl:2  [13] include(mod::Module, _path::String)  @ Base ./Base.jl:326  [14] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)  @ Base ./loading.jl:3271  [15] top-level scope  @ stdin:5  [16] eval(m::Module, e::Any)  @ Core ./boot.jl:517  [17] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base ./loading.jl:3113  [18] push!(a::Vector{SubString{String}}, item::String)  @ Base ./loading.jl:3123 [inlined]  [19] exec_options(opts::Base.JLOptions)  @ Base ./client.jl:353  [20] _start()  @ Base ./client.jl:596 in expression starting at /home/pkgeval/.julia/packages/PolyhedralOmega/BtVXp/src/PolyhedralOmega.jl:1 in expression starting at stdin:5 6 dependencies had output during precompilation: ┌ MutableArithmetics │ ┌ Info: JuliaLowering threw given input: │ │ code = │ │ :(function mutable_operate_to_fallback(::IsMutable, output, ::typeof(add_dot), a, b, c) where N │ │ #= /home/pkgeval/.julia/packages/MutableArithmetics/0Y9ZS/src/interface.jl:502 =# │ │ #= /home/pkgeval/.julia/packages/MutableArithmetics/0Y9ZS/src/interface.jl:503 =# │ │ return mutable_operate_to!(output, add_mul, a, adjoint(b), c) │ │ end) │ │ st0 = │ │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source,__macro_ctx__ │ │ [function] │ │ │ [where] │ │ │ [call] │ │ │ mutable_operate_to_fallback :: Identifier │ │ │ [::] │ │ │ IsMutable :: Identifier │ │ │ output :: Identifier │ │ │ [::] │ │ │ [call] │ │ │ typeof :: Identifier │ │ │ add_dot :: Identifier │ │ │ a :: Identifier │ │ │ b :: Identifier │ │ │ c :: Identifier │ │ │ N :: Identifier │ │ │ [block] │ │ │ [return] │ │ │ [call] │ │ │ mutable_operate_to! :: Identifier │ │ │ output :: Identifier │ │ │ add_mul :: Identifier │ │ │ a :: Identifier │ │ │ [call] │ │ │ adjoint :: Identifier │ │ │ b :: Identifier │ │ │ c :: Identifier │ │ │ │ │ st1 = │ │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source │ │ [function] │ │ │ [where] │ │ │ [call] │ │ │ mutable_operate_to_fallback :: Identifier │ scope_layer=1 │ │ [::] │ │ │ IsMutable :: Identifier │ scope_layer=1 │ │ output :: Identifier │ scope_layer=1 │ │ [::] │ │ │ [call] │ │ │ typeof :: Identifier │ scope_layer=1 │ │ add_dot :: Identifier │ scope_layer=1 │ │ a :: Identifier │ scope_layer=1 │ │ b :: Identifier │ scope_layer=1 │ │ c :: Identifier │ scope_layer=1 │ │ N :: Identifier │ scope_layer=1 │ │ [block] │ │ │ [return] │ │ │ [call] │ │ │ mutable_operate_to! :: Identifier │ scope_layer=1 │ │ output :: Identifier │ scope_layer=1 │ │ add_mul :: Identifier │ scope_layer=1 │ │ a :: Identifier │ scope_layer=1 │ │ [call] │ │ │ adjoint :: Identifier │ scope_layer=1 │ │ b :: Identifier │ scope_layer=1 │ │ c :: Identifier │ scope_layer=1 │ │ │ │ file = "/home/pkgeval/.julia/packages/MutableArithmetics/0Y9ZS/src/interface.jl" │ │ line = 502 │ └ mod = MutableArithmetics │ ERROR: LoadError: LoweringError: │ #= /home/pkgeval/.julia/packages/MutableArithmetics/0Y9ZS/src/interface.jl:502 =# - method definition declares type variable but does not use it in the type of any function parameter │ Expression: │ (_typevar N core.Any core.Any) │ Containing expressions: │ (_typevar N core.Any core.Any) │ │ Detailed provenance: │ (_typevar N core.Any core.Any) @#= /source/usr/share/julia/JuliaLowering/src/desugaring.jl:3012 =# │ └─ N │ └─ N │ └─ @ /home/pkgeval/.julia/packages/MutableArithmetics/0Y9ZS/src/interface.jl:502 │ │ Stacktrace: │ [1] expand_function_def(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, src::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, raw_args::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}}, wheres::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}}, body::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, rett::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:2860 │ [2] expand_forms_2(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, docs::Nothing) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4268 │ [3] Dict{Int64, Int64}() │ @ Base /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4152 [inlined] │ [4] expand_forms_2(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4469 │ [5] core_lowering_hook(code::Any, mod::Module, file::String, line::UInt64, world::UInt64, _warn::Bool) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/hooks.jl:30 │ [6] include(mapexpr::Function, mod::Module, _path::String) │ @ Base ./Base.jl:327 │ [7] top-level scope │ @ ~/.julia/packages/MutableArithmetics/0Y9ZS/src/MutableArithmetics.jl:61 │ [8] include(mod::Module, _path::String) │ @ Base ./Base.jl:326 │ [9] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing) │ @ Base ./loading.jl:3271 │ [10] top-level scope │ @ stdin:5 │ [11] eval(m::Module, e::Any) │ @ Core ./boot.jl:517 │ [12] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) │ @ Base ./loading.jl:3113 │ [13] push!(a::Vector{SubString{String}}, item::String) │ @ Base ./loading.jl:3123 [inlined] │ [14] exec_options(opts::Base.JLOptions) │ @ Base ./client.jl:353 │ [15] _start() │ @ Base ./client.jl:596 │ in expression starting at /home/pkgeval/.julia/packages/MutableArithmetics/0Y9ZS/src/interface.jl:502 │ in expression starting at /home/pkgeval/.julia/packages/MutableArithmetics/0Y9ZS/src/MutableArithmetics.jl:7 │ in expression starting at stdin:5 └ ┌ MultivariatePolynomials │ ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("d8a4904e-b15c-11e9-3269-09a3773c0cb0"), "MutableArithmetics") not available with flags CacheFlags(; use_pkgimages=false, debug_level=1, check_bounds=1, inline=true, opt_level=0) │ Stacktrace: │ [1] error(s::String) │ @ Base ./error.jl:56 │ [2] __require_prelocked(pkg::Base.PkgId, env::String) │ @ Base ./loading.jl:2818 │ [3] _require_prelocked(uuidkey::Base.PkgId, env::String) │ @ Base ./loading.jl:2672 │ [4] macro expansion │ @ ./loading.jl:2599 [inlined] │ [5] string(::String, ::Union{Char, SubString{String}, String, Symbol}, ::Symbol, ::String) │ @ Base ./lock.jl:376 [inlined] │ [6] __require(into::Module, mod::Symbol) │ @ Base ./loading.jl:2563 │ [7] require │ @ ./loading.jl:2539 [inlined] │ [8] eval_import_path(at::Module, from::Nothing, path::Expr, keyword::String) │ @ Base ./module.jl:36 [inlined] │ [9] _eval_import(imported::Bool, to::Module, from::Nothing, paths::Expr) │ @ Base ./module.jl:111 │ [10] eval_import(imported::Bool, to::Module, from::Nothing, paths::Expr) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/runtime.jl:195 │ [11] top-level scope │ @ ~/.julia/packages/MultivariatePolynomials/vqcb5/src/MultivariatePolynomials.jl:7 │ [12] include(mod::Module, _path::String) │ @ Base ./Base.jl:326 │ [13] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing) │ @ Base ./loading.jl:3271 │ [14] top-level scope │ @ stdin:5 │ [15] eval(m::Module, e::Any) │ @ Core ./boot.jl:517 │ [16] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) │ @ Base ./loading.jl:3113 │ [17] push!(a::Vector{SubString{String}}, item::String) │ @ Base ./loading.jl:3123 [inlined] │ [18] exec_options(opts::Base.JLOptions) │ @ Base ./client.jl:353 │ [19] _start() │ @ Base ./client.jl:596 │ in expression starting at /home/pkgeval/.julia/packages/MultivariatePolynomials/vqcb5/src/MultivariatePolynomials.jl:1 │ in expression starting at stdin:5 └ ┌ PolyhedralOmega │ [Output was shown above] └ ┌ MacroTools │ ┌ Info: JuliaLowering threw given input: │ │ code = │ │ :(function destruct_key(pat, val, getm) │ │ #= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:26 =# │ │ #= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:27 =# │ │ #= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:27 =# @match pat begin │ │ #= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:28 =# │ │ _Symbol => destruct_key($(Expr(:quote, :($(Expr(:$, :pat)) = $(Expr(:$, :(Expr(:quote, pat))))))), val, getm) │ │ #= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:29 =# │ │ x_Symbol || y_ => destruct_key($(Expr(:quote, :($(Expr(:$, :x)) = $(Expr(:$, :(Expr(:quote, x)))) || $(Expr(:$, :y))))), val, getm) │ │ #= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:30 =# │ │ (x_ = y_) => destructm(x, destruct_key(y, val, getm)) │ │ #= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:31 =# │ │ x_ || y_ => getm(val, x, y) │ │ #= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:32 =# │ │ _ => atoms((i->begin │ │ #= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:32 =# │ │ getm(val, i) │ │ end), pat) │ │ end │ │ end) │ │ st0 = │ │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source,__macro_ctx__ │ │ [function] │ │ │ [call] │ │ │ destruct_key :: Identifier │ │ │ pat :: Identifier │ │ │ val :: Identifier │ │ │ getm :: Identifier │ │ │ [block] │ │ │ [macrocall] │ │ │ @match :: Identifier │ │ │ :(#= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:27 =#) :: Value │ │ │ pat :: Identifier │ │ │ [block] │ │ │ [call] │ │ │ => :: Identifier │ │ │ _Symbol :: Identifier │ │ │ [call] │ │ │ destruct_key :: Identifier │ │ │ [quote] │ │ │ [=] │ │ │ [$] │ │ │ pat :: Identifier │ │ │ [$] │ │ │ [call] │ │ │ Expr :: Identifier │ │ │ [inert] │ │ │ quote :: Identifier │ │ │ pat :: Identifier │ │ │ val :: Identifier │ │ │ getm :: Identifier │ │ │ [call] │ │ │ => :: Identifier │ │ │ [||] │ │ │ x_Symbol :: Identifier │ │ │ y_ :: Identifier │ │ │ [call] │ │ │ destruct_key :: Identifier │ │ │ [quote] │ │ │ [=] │ │ │ [$] │ │ │ x :: Identifier │ │ │ [||] │ │ │ [$] │ │ │ [call] │ │ │ Expr :: Identifier │ │ │ [inert] │ │ │ quote :: Identifier │ │ │ x :: Identifier │ │ │ [$] │ │ │ y :: Identifier │ │ │ val :: Identifier │ │ │ getm :: Identifier │ │ │ [call] │ │ │ => :: Identifier │ │ │ [=] │ │ │ x_ :: Identifier │ │ │ y_ :: Identifier │ │ │ [call] │ │ │ destructm :: Identifier │ │ │ x :: Identifier │ │ │ [call] │ │ │ destruct_key :: Identifier │ │ │ y :: Identifier │ │ │ val :: Identifier │ │ │ getm :: Identifier │ │ │ [call] │ │ │ => :: Identifier │ │ │ [||] │ │ │ x_ :: Identifier │ │ │ y_ :: Identifier │ │ │ [call] │ │ │ getm :: Identifier │ │ │ val :: Identifier │ │ │ x :: Identifier │ │ │ y :: Identifier │ │ │ [call] │ │ │ => :: Identifier │ │ │ _ :: Identifier │ │ │ [call] │ │ │ atoms :: Identifier │ │ │ [->] │ │ │ i :: Identifier │ │ │ [block] │ │ │ [call] │ │ │ getm :: Identifier │ │ │ val :: Identifier │ │ │ i :: Identifier │ │ │ pat :: Identifier │ │ │ │ │ st1 = │ │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source │ │ [function] │ │ │ [call] │ │ │ destruct_key :: Identifier │ scope_layer=1 │ │ pat :: Identifier │ scope_layer=1 │ │ val :: Identifier │ scope_layer=1 │ │ getm :: Identifier │ scope_layer=1 │ │ [block] │ │ │ [block] │ │ │ [=] │ │ │ ex :: Identifier │ scope_layer=2 │ │ pat :: Identifier │ scope_layer=1 │ │ [block] │ │ │ [=] │ │ │ env :: Identifier │ scope_layer=2 │ │ [call] │ │ │ trymatch :: Identifier │ scope_layer=2 │ │ [call] │ jl_source=L67 │ │ Base.JuliaLowering.interpolate_ast :: Value │ jl_source=L67 │ │ Expr :: Value │ jl_source=L67 │ │ [inert] │ jl_source=L67 │ │ [$] │ │ │ [call] │ │ │ MacroTools.TypeBind :: Value │ │ │ [quote] │ │ │ :: Identifier │ │ │ [call] │ │ │ [curly] │ │ │ Set :: Identifier │ │ │ Any :: Identifier │ │ │ [vect] │ │ │ Symbol :: Identifier │ │ │ [tuple] │ jl_source=L31 │ │ [call] │ │ │ MacroTools.TypeBind :: Value │ macro_source=85 │ │ [inert] │ jl_source=L65 │ │ :: Identifier │ │ │ [call] │ │ │ [curly] │ │ │ Set :: Identifier │ scope_layer=2 │ │ Any :: Identifier │ scope_layer=2 │ │ [vect] │ │ │ Symbol :: Identifier │ scope_layer=2 │ │ ex :: Identifier │ scope_layer=2 │ │ [if] │ │ │ [call] │ │ │ !== :: Identifier │ scope_layer=2 │ │ env :: Identifier │ scope_layer=2 │ │ nothing :: Identifier │ scope_layer=2 │ │ [block] │ │ │ [let] │ │ │ [block] │ │ │ [=] │ │ │ env :: Identifier │ scope_layer=1 │ │ env :: Identifier │ scope_layer=2 │ │ [=] │ │ │ :: Identifier │ scope_layer=1 │ │ [call] │ │ │ get :: Identifier │ scope_layer=2 │ │ env :: Identifier │ scope_layer=2 │ │ [inert] │ jl_source=L65 │ │ :: Identifier │ │ │ nothing :: Identifier │ scope_layer=2 │ │ [block] │ │ │ [block] │ │ │ [call] │ │ │ destruct_key :: Identifier │ scope_layer=1 │ │ [call] │ jl_source=L67 │ │ Base.JuliaLowering.interpolate_ast :: Value │ jl_source=L67 │ │ Expr :: Value │ jl_source=L67 │ │ [inert] │ jl_source=L67 │ │ [=] │ │ │ [$] │ │ │ pat :: Identifier │ │ │ [$] │ │ │ [call] │ │ │ Expr :: Identifier │ │ │ [inert] │ │ │ quote :: Identifier │ │ │ pat :: Identifier │ │ │ [tuple] │ jl_source=L31 │ │ pat :: Identifier │ scope_layer=1 │ │ [tuple] │ jl_source=L31 │ │ [call] │ │ │ Expr :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ quote :: Identifier │ │ │ pat :: Identifier │ scope_layer=1 │ │ val :: Identifier │ scope_layer=1 │ │ getm :: Identifier │ scope_layer=1 │ │ [block] │ │ │ [block] │ │ │ [=] │ │ │ env :: Identifier │ scope_layer=2 │ │ [call] │ │ │ trymatch :: Identifier │ scope_layer=2 │ │ [call] │ jl_source=L67 │ │ Base.JuliaLowering.interpolate_ast :: Value │ jl_source=L67 │ │ Expr :: Value │ jl_source=L67 │ │ [inert] │ jl_source=L67 │ │ [||] │ │ │ [$] │ │ │ [call] │ │ │ MacroTools.TypeBind :: Value │ │ │ [quote] │ │ │ x :: Identifier │ │ │ [call] │ │ │ [curly] │ │ │ Set :: Identifier │ │ │ Any :: Identifier │ │ │ [vect] │ │ │ Symbol :: Identifier │ │ │ y_ :: Identifier │ │ │ [tuple] │ jl_source=L31 │ │ [call] │ │ │ MacroTools.TypeBind :: Value │ macro_source=85 │ │ [inert] │ jl_source=L65 │ │ x :: Identifier │ │ │ [call] │ │ │ [curly] │ │ │ Set :: Identifier │ scope_layer=2 │ │ Any :: Identifier │ scope_layer=2 │ │ [vect] │ │ │ Symbol :: Identifier │ scope_layer=2 │ │ ex :: Identifier │ scope_layer=2 │ │ [if] │ │ │ [call] │ │ │ !== :: Identifier │ scope_layer=2 │ │ env :: Identifier │ scope_layer=2 │ │ nothing :: Identifier │ scope_layer=2 │ │ [block] │ │ │ [let] │ │ │ [block] │ │ │ [=] │ │ │ env :: Identifier │ scope_layer=1 │ │ env :: Identifier │ scope_layer=2 │ │ [=] │ │ │ x :: Identifier │ scope_layer=1 │ │ [call] │ │ │ get :: Identifier │ scope_layer=2 │ │ env :: Identifier │ scope_layer=2 │ │ [inert] │ jl_source=L65 │ │ x :: Identifier │ │ │ nothing :: Identifier │ scope_layer=2 │ │ [=] │ │ │ y :: Identifier │ scope_layer=1 │ │ [call] │ │ │ get :: Identifier │ scope_layer=2 │ │ env :: Identifier │ scope_layer=2 │ │ [inert] │ jl_source=L65 │ │ y :: Identifier │ │ │ nothing :: Identifier │ scope_layer=2 │ │ [block] │ │ │ [block] │ │ │ [call] │ │ │ destruct_key :: Identifier │ scope_layer=1 │ │ [call] │ jl_source=L67 │ │ Base.JuliaLowering.interpolate_ast :: Value │ jl_source=L67 │ │ Expr :: Value │ jl_source=L67 │ │ [inert] │ jl_source=L67 │ │ [=] │ │ │ [$] │ │ │ x :: Identifier │ │ │ [||] │ │ │ [$] │ │ │ [call] │ │ │ Expr :: Identifier │ │ │ [inert] │ │ │ quote :: Identifier │ │ │ x :: Identifier │ │ │ [$] │ │ │ y :: Identifier │ │ │ [tuple] │ jl_source=L31 │ │ x :: Identifier │ scope_layer=1 │ │ [tuple] │ jl_source=L31 │ │ [call] │ │ │ Expr :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ quote :: Identifier │ │ │ x :: Identifier │ scope_layer=1 │ │ [tuple] │ jl_source=L31 │ │ y :: Identifier │ scope_layer=1 │ │ val :: Identifier │ scope_layer=1 │ │ getm :: Identifier │ scope_layer=1 │ │ [block] │ │ │ [block] │ │ │ [=] │ │ │ env :: Identifier │ scope_layer=2 │ │ [call] │ │ │ trymatch :: Identifier │ scope_layer=2 │ │ [call] │ jl_source=L67 │ │ Base.JuliaLowering.interpolate_ast :: Value │ jl_source=L67 │ │ Expr :: Value │ jl_source=L67 │ │ [inert] │ jl_source=L67 │ │ [=] │ │ │ x_ :: Identifier │ │ │ y_ :: Identifier │ │ │ ex :: Identifier │ scope_layer=2 │ │ [if] │ │ │ [call] │ │ │ !== :: Identifier │ scope_layer=2 │ │ env :: Identifier │ scope_layer=2 │ │ nothing :: Identifier │ scope_layer=2 │ │ [block] │ │ │ [let] │ │ │ [block] │ │ │ [=] │ │ │ env :: Identifier │ scope_layer=1 │ │ env :: Identifier │ scope_layer=2 │ │ [=] │ │ │ x :: Identifier │ scope_layer=1 │ │ [call] │ │ │ get :: Identifier │ scope_layer=2 │ │ env :: Identifier │ scope_layer=2 │ │ [inert] │ jl_source=L65 │ │ x :: Identifier │ │ │ nothing :: Identifier │ scope_layer=2 │ │ [=] │ │ │ y :: Identifier │ scope_layer=1 │ │ [call] │ │ │ get :: Identifier │ scope_layer=2 │ │ env :: Identifier │ scope_layer=2 │ │ [inert] │ jl_source=L65 │ │ y :: Identifier │ │ │ nothing :: Identifier │ scope_layer=2 │ │ [block] │ │ │ [block] │ │ │ [call] │ │ │ destructm :: Identifier │ scope_layer=1 │ │ x :: Identifier │ scope_layer=1 │ │ [call] │ │ │ destruct_key :: Identifier │ scope_layer=1 │ │ y :: Identifier │ scope_layer=1 │ │ val :: Identifier │ scope_layer=1 │ │ getm :: Identifier │ scope_layer=1 │ │ [block] │ │ │ [block] │ │ │ [=] │ │ │ env :: Identifier │ scope_layer=2 │ │ [call] │ │ │ trymatch :: Identifier │ scope_layer=2 │ │ [call] │ jl_source=L67 │ │ Base.JuliaLowering.interpolate_ast :: Value │ jl_source=L67 │ │ Expr :: Value │ jl_source=L67 │ │ [inert] │ jl_source=L67 │ │ [||] │ │ │ x_ :: Identifier │ │ │ y_ :: Identifier │ │ │ ex :: Identifier │ scope_layer=2 │ │ [if] │ │ │ [call] │ │ │ !== :: Identifier │ scope_layer=2 │ │ env :: Identifier │ scope_layer=2 │ │ nothing :: Identifier │ scope_layer=2 │ │ [block] │ │ │ [let] │ │ │ [block] │ │ │ [=] │ │ │ env :: Identifier │ scope_layer=1 │ │ env :: Identifier │ scope_layer=2 │ │ [=] │ │ │ x :: Identifier │ scope_layer=1 │ │ [call] │ │ │ get :: Identifier │ scope_layer=2 │ │ env :: Identifier │ scope_layer=2 │ │ [inert] │ jl_source=L65 │ │ x :: Identifier │ │ │ nothing :: Identifier │ scope_layer=2 │ │ [=] │ │ │ y :: Identifier │ scope_layer=1 │ │ [call] │ │ │ get :: Identifier │ scope_layer=2 │ │ env :: Identifier │ scope_layer=2 │ │ [inert] │ jl_source=L65 │ │ y :: Identifier │ │ │ nothing :: Identifier │ scope_layer=2 │ │ [block] │ │ │ [block] │ │ │ [call] │ │ │ getm :: Identifier │ scope_layer=1 │ │ val :: Identifier │ scope_layer=1 │ │ x :: Identifier │ scope_layer=1 │ │ y :: Identifier │ scope_layer=1 │ │ [block] │ │ │ [block] │ │ │ [=] │ │ │ env :: Identifier │ scope_layer=2 │ │ [call] │ │ │ trymatch :: Identifier │ scope_layer=2 │ │ [inert] │ jl_source=L65 │ │ _ :: Identifier │ │ │ ex :: Identifier │ scope_layer=2 │ │ [if] │ │ │ [call] │ │ │ !== :: Identifier │ scope_layer=2 │ │ env :: Identifier │ scope_layer=2 │ │ nothing :: Identifier │ scope_layer=2 │ │ [block] │ │ │ [let] │ │ │ [block] │ │ │ [=] │ │ │ env :: Identifier │ scope_layer=1 │ │ env :: Identifier │ scope_layer=2 │ │ [block] │ │ │ [block] │ │ │ [call] │ │ │ atoms :: Identifier │ scope_layer=1 │ │ [->] │ │ │ i :: Identifier │ scope_layer=1 │ │ [block] │ │ │ [call] │ │ │ getm :: Identifier │ scope_layer=1 │ │ val :: Identifier │ scope_layer=1 │ │ i :: Identifier │ scope_layer=1 │ │ pat :: Identifier │ scope_layer=1 │ │ [block] │ macro_source=85 │ │ nothing :: Value │ macro_source=85 │ │ │ │ file = "/home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl" │ │ line = 26 │ └ mod = MacroTools │ ERROR: LoadError: LoweringError: │ #= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/match/macro.jl:29 =# - Invalid assignment location in let syntax │ Expression: │ │ Containing expressions: │ (let (block (= env env) (= (call get env : nothing))) (block (block (call destruct_key (call Base.JuliaLowering.interpolate_ast Expr (inert (= ($ pat) ($ (call Expr (inert quote) pat)))) (tuple pat) (tuple (call Expr :quote pat))) val getm)))) │ │ Detailed provenance: │ │ └─ │ └─ │ ├─ @ /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/match/macro.jl:29 │ └─ (macrocall @match :(#= /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:27 =#) pat (block (call => _Symbol (call destruct_key (quote (= ($ pat) ($ (call Expr (inert quote) pat)))) val getm)) (call => (|| x_Symbol y_) (call destruct_key (quote (= ($ x) (|| ($ (call Expr (inert quote) x)) ($ y)))) val getm)) (call => (= x_ y_) (call destructm x (call destruct_key y val getm))) (call => (|| x_ y_) (call getm val x y)) (call => _ (call atoms (-> i (block (call getm val i))) pat)))) │ └─ @ /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:27 │ │ Stacktrace: │ [1] expand_let(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:1561 │ [2] expand_forms_2(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, docs::Nothing) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4293 │ [3] expand_forms_2 │ @ /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4152 [inlined] │ [4] #expand_forms_2##2 │ @ /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4440 [inlined] │ [5] mapchildren(f::Base.JuliaLowering.var"#expand_forms_2##2#expand_forms_2##3"{Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}}, ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:707 │ [6] expand_forms_2(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, docs::Nothing) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4440 │ [7] iterate(A::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, SubArray{Int64, 1, Vector{Int64}, Tuple{UnitRange{Int64}}, true}}) │ @ Base /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4152 [inlined] │ [8] expand_forms_2(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, exs::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, SubArray{Int64, 1, Vector{Int64}, Tuple{UnitRange{Int64}}, true}}) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4447 │ [9] getindex(ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, i::Int64) │ @ Base.JuliaSyntax /source/usr/share/julia/JuliaLowering/src/ast.jl:355 [inlined] │ [10] expand_forms_2(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, docs::Nothing) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4288 │ [11] expand_forms_2 │ @ /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4152 [inlined] │ [12] #expand_forms_2##2 │ @ /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4440 [inlined] │ [13] mapchildren(f::Base.JuliaLowering.var"#expand_forms_2##2#expand_forms_2##3"{Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}}, ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:707 │ [14] expand_forms_2(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, docs::Nothing) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4440 │ [15] expand_forms_2 │ @ /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4152 [inlined] │ [16] #expand_forms_2##2 │ @ /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4440 [inlined] │ [17] mapchildren(f::Base.JuliaLowering.var"#expand_forms_2##2#expand_forms_2##3"{Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}}, ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:707 │ [18] expand_forms_2(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, docs::Nothing) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4440 │ [19] expand_forms_2 │ @ /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4152 [inlined] │ [20] #expand_forms_2##2 │ @ /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4440 [inlined] │ [21] mapchildren(f::Base.JuliaLowering.var"#expand_forms_2##2#expand_forms_2##3"{Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}}, ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:707 │ [22] expand_forms_2(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, docs::Nothing) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4440 │ [23] _node_id(graph::Base.JuliaSyntax.SyntaxGraph{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4152 [inlined] │ [24] _push_nodeid!(graph::Base.JuliaSyntax.SyntaxGraph{Dict{Symbol, Dict{Int64, Any}}}, ids::Vector{Int64}, val::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/ast.jl:288 [inlined] │ [25] method_def_expr(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, src::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, mtable::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, sparams::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}}, argl::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}}, body::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, rett::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:2419 │ [26] (::Colon)(start::Int64, stop::Int64) │ @ Base /source/usr/share/julia/JuliaLowering/src/ast.jl:355 [inlined] │ [27] expand_function_def(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, src::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, raw_args::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}}, wheres::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}}, body::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, rett::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:2873 │ [28] expand_forms_2(ctx::Base.JuliaLowering.DesugaringContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, docs::Nothing) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4268 │ [29] Dict{Int64, Int64}() │ @ Base /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4152 [inlined] │ [30] expand_forms_2(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/desugaring.jl:4469 │ [31] core_lowering_hook(code::Any, mod::Module, file::String, line::UInt64, world::UInt64, _warn::Bool) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/hooks.jl:30 │ [32] include(mapexpr::Function, mod::Module, _path::String) │ @ Base ./Base.jl:327 │ [33] top-level scope │ @ ~/.julia/packages/MacroTools/Ar0jT/src/MacroTools.jl:13 │ [34] include(mod::Module, _path::String) │ @ Base ./Base.jl:326 │ [35] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing) │ @ Base ./loading.jl:3271 │ [36] top-level scope │ @ stdin:5 │ [37] eval(m::Module, e::Any) │ @ Core ./boot.jl:517 │ [38] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) │ @ Base ./loading.jl:3113 │ [39] push!(a::Vector{SubString{String}}, item::String) │ @ Base ./loading.jl:3123 [inlined] │ [40] exec_options(opts::Base.JLOptions) │ @ Base ./client.jl:353 │ [41] _start() │ @ Base ./client.jl:596 │ in expression starting at /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/examples/destruct.jl:26 │ in expression starting at /home/pkgeval/.julia/packages/MacroTools/Ar0jT/src/MacroTools.jl:1 │ in expression starting at stdin:5 └ ┌ AbstractAlgebra │ ┌ Info: JuliaLowering threw given input: │ │ code = │ │ :(mutable struct ModuleHomomorphism{T <: RingElement} <: AbstractAlgebra.Map{AbstractAlgebra.FPModule{T}, AbstractAlgebra.FPModule{T}, AbstractAlgebra.FPModuleHomomorphism, ModuleHomomorphism} │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/generic/GenericTypes.jl:1159 =# │ │ domain::AbstractAlgebra.FPModule{T} │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/generic/GenericTypes.jl:1160 =# │ │ codomain::AbstractAlgebra.FPModule{T} │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/generic/GenericTypes.jl:1161 =# │ │ matrix::AbstractAlgebra.MatElem{T} │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/generic/GenericTypes.jl:1162 =# │ │ image_fn::Function │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/generic/GenericTypes.jl:1164 =# │ │ function ModuleHomomorphism{T}(D::AbstractAlgebra.FPModule{T}, C::AbstractAlgebra.FPModule{T}, m::AbstractAlgebra.MatElem{T}) where T <: RingElement │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/generic/GenericTypes.jl:1164 =# │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/generic/GenericTypes.jl:1165 =# │ │ z = new(D, C, m, (x::AbstractAlgebra.FPModuleElem{T}->begin │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/generic/GenericTypes.jl:1165 =# │ │ C(x.v * m) │ │ end)) │ │ end │ │ end) │ │ st0 = │ │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source,__macro_ctx__ │ │ [struct] │ │ │ true :: Value │ │ │ [<:] │ │ │ [curly] │ │ │ ModuleHomomorphism :: Identifier │ │ │ [<:] │ │ │ T :: Identifier │ │ │ RingElement :: Identifier │ │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ │ │ [inert] │ │ │ Map :: Identifier │ │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ │ │ [inert] │ │ │ FPModule :: Identifier │ │ │ T :: Identifier │ │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ │ │ [inert] │ │ │ FPModule :: Identifier │ │ │ T :: Identifier │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ │ │ [inert] │ │ │ FPModuleHomomorphism :: Identifier │ │ │ ModuleHomomorphism :: Identifier │ │ │ [block] │ │ │ [::] │ │ │ domain :: Identifier │ │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ │ │ [inert] │ │ │ FPModule :: Identifier │ │ │ T :: Identifier │ │ │ [::] │ │ │ codomain :: Identifier │ │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ │ │ [inert] │ │ │ FPModule :: Identifier │ │ │ T :: Identifier │ │ │ [::] │ │ │ matrix :: Identifier │ │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ │ │ [inert] │ │ │ MatElem :: Identifier │ │ │ T :: Identifier │ │ │ [::] │ │ │ image_fn :: Identifier │ │ │ Function :: Identifier │ │ │ [function] │ │ │ [where] │ │ │ [call] │ │ │ [curly] │ │ │ ModuleHomomorphism :: Identifier │ │ │ T :: Identifier │ │ │ [::] │ │ │ D :: Identifier │ │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ │ │ [inert] │ │ │ FPModule :: Identifier │ │ │ T :: Identifier │ │ │ [::] │ │ │ C :: Identifier │ │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ │ │ [inert] │ │ │ FPModule :: Identifier │ │ │ T :: Identifier │ │ │ [::] │ │ │ m :: Identifier │ │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ │ │ [inert] │ │ │ MatElem :: Identifier │ │ │ T :: Identifier │ │ │ [<:] │ │ │ T :: Identifier │ │ │ RingElement :: Identifier │ │ │ [block] │ │ │ [=] │ │ │ z :: Identifier │ │ │ [call] │ │ │ new :: Identifier │ │ │ D :: Identifier │ │ │ C :: Identifier │ │ │ m :: Identifier │ │ │ [->] │ │ │ [::] │ │ │ x :: Identifier │ │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ │ │ [inert] │ │ │ FPModuleElem :: Identifier │ │ │ T :: Identifier │ │ │ [block] │ │ │ [call] │ │ │ C :: Identifier │ │ │ [call] │ │ │ * :: Identifier │ │ │ [.] │ │ │ x :: Identifier │ │ │ [inert] │ │ │ v :: Identifier │ │ │ m :: Identifier │ │ │ │ │ st1 = │ │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source │ │ [struct] │ │ │ true :: Value │ │ │ [<:] │ scope_layer=1 │ │ [curly] │ │ │ ModuleHomomorphism :: Identifier │ scope_layer=1 │ │ [<:] │ scope_layer=1 │ │ T :: Identifier │ scope_layer=1 │ │ RingElement :: Identifier │ scope_layer=1 │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ Map :: Identifier │ │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ FPModule :: Identifier │ │ │ T :: Identifier │ scope_layer=1 │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ FPModule :: Identifier │ │ │ T :: Identifier │ scope_layer=1 │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ FPModuleHomomorphism :: Identifier │ │ │ ModuleHomomorphism :: Identifier │ scope_layer=1 │ │ [block] │ │ │ [::] │ │ │ domain :: Identifier │ scope_layer=1 │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ FPModule :: Identifier │ │ │ T :: Identifier │ scope_layer=1 │ │ [::] │ │ │ codomain :: Identifier │ scope_layer=1 │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ FPModule :: Identifier │ │ │ T :: Identifier │ scope_layer=1 │ │ [::] │ │ │ matrix :: Identifier │ scope_layer=1 │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ MatElem :: Identifier │ │ │ T :: Identifier │ scope_layer=1 │ │ [::] │ │ │ image_fn :: Identifier │ scope_layer=1 │ │ Function :: Identifier │ scope_layer=1 │ │ [function] │ │ │ [where] │ │ │ [call] │ │ │ [curly] │ │ │ ModuleHomomorphism :: Identifier │ scope_layer=1 │ │ T :: Identifier │ scope_layer=1 │ │ [::] │ │ │ D :: Identifier │ scope_layer=1 │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ FPModule :: Identifier │ │ │ T :: Identifier │ scope_layer=1 │ │ [::] │ │ │ C :: Identifier │ scope_layer=1 │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ FPModule :: Identifier │ │ │ T :: Identifier │ scope_layer=1 │ │ [::] │ │ │ m :: Identifier │ scope_layer=1 │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ MatElem :: Identifier │ │ │ T :: Identifier │ scope_layer=1 │ │ [<:] │ scope_layer=1 │ │ T :: Identifier │ scope_layer=1 │ │ RingElement :: Identifier │ scope_layer=1 │ │ [block] │ │ │ [=] │ │ │ z :: Identifier │ scope_layer=1 │ │ [call] │ │ │ new :: Identifier │ scope_layer=1 │ │ D :: Identifier │ scope_layer=1 │ │ C :: Identifier │ scope_layer=1 │ │ m :: Identifier │ scope_layer=1 │ │ [->] │ │ │ [::] │ │ │ x :: Identifier │ scope_layer=1 │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ FPModuleElem :: Identifier │ │ │ T :: Identifier │ scope_layer=1 │ │ [block] │ │ │ [call] │ │ │ C :: Identifier │ scope_layer=1 │ │ [call] │ │ │ * :: Identifier │ scope_layer=1 │ │ [.] │ │ │ x :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ v :: Identifier │ │ │ m :: Identifier │ scope_layer=1 │ │ │ │ file = "/home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/generic/GenericTypes.jl" │ │ line = 1157 │ └ mod = AbstractAlgebra.Generic │ ERROR: LoadError: LoweringError: │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/generic/GenericTypes.jl:1165 =# - Found unexpected binding of kind static_parameter │ Expression: │ #₃₄/T │ Containing expressions: │ (= #₈₇/T #₃₄/T) │ (call core.svec (call core.svec #₄₀/##->###0 (call core.apply_type (call top.getproperty #₂₇/AbstractAlgebra :FPModuleElem) #₃₄/T)) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/generic/GenericTypes.jl:1165:0) │ (call core.svec (call core.svec (function_type #₃₅/#->#) (call core.apply_type (call top.getproperty #₂₇/AbstractAlgebra :FPModuleElem) #₃₄/T)) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/generic/GenericTypes.jl:1165:0) │ │ Detailed provenance: │ #₃₄/T │ └─ T │ └─ T │ └─ @ /home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/generic/GenericTypes.jl:1165 │ │ Stacktrace: │ [1] _renumber(ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, ssa_rewrites::Dict{Int64, Int64}, slot_rewrites::Dict{Int64, Int64}, label_table::Dict{Int64, Int64}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1067 │ [2] renumber_body(ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, input_code::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}}, slot_rewrites::Dict{Int64, Int64}) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1132 │ [3] compile_lambda(outer_ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1223 │ [4] linearize_ir(ctx::Base.JuliaLowering.ClosureConversionCtx{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1253 │ [5] core_lowering_hook(code::Any, mod::Module, file::String, line::UInt64, world::UInt64, _warn::Bool) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/hooks.jl:33 │ [6] include(mapexpr::Function, mod::Module, _path::String) │ @ Base ./Base.jl:327 │ [7] top-level scope │ @ ~/.julia/packages/AbstractAlgebra/aF5Iw/src/Generic.jl:40 │ [8] include(mapexpr::Function, mod::Module, _path::String) │ @ Base ./Base.jl:327 │ [9] top-level scope │ @ ~/.julia/packages/AbstractAlgebra/aF5Iw/src/AbstractAlgebra.jl:363 │ [10] include(mod::Module, _path::String) │ @ Base ./Base.jl:326 │ [11] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing) │ @ Base ./loading.jl:3271 │ [12] top-level scope │ @ stdin:5 │ [13] eval(m::Module, e::Any) │ @ Core ./boot.jl:517 │ [14] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) │ @ Base ./loading.jl:3113 │ [15] push!(a::Vector{SubString{String}}, item::String) │ @ Base ./loading.jl:3123 [inlined] │ [16] exec_options(opts::Base.JLOptions) │ @ Base ./client.jl:353 │ [17] _start() │ @ Base ./client.jl:596 │ in expression starting at /home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/generic/GenericTypes.jl:1157 │ in expression starting at /home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/Generic.jl:1 │ in expression starting at /home/pkgeval/.julia/packages/AbstractAlgebra/aF5Iw/src/AbstractAlgebra.jl:1 │ in expression starting at stdin:5 └ ┌ TypedPolynomials │ ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("d8a4904e-b15c-11e9-3269-09a3773c0cb0"), "MutableArithmetics") not available with flags CacheFlags(; use_pkgimages=false, debug_level=1, check_bounds=1, inline=true, opt_level=0) │ Stacktrace: │ [1] error(s::String) │ @ Base ./error.jl:56 │ [2] __require_prelocked(pkg::Base.PkgId, env::String) │ @ Base ./loading.jl:2818 │ [3] _require_prelocked(uuidkey::Base.PkgId, env::String) │ @ Base ./loading.jl:2672 │ [4] macro expansion │ @ ./loading.jl:2599 [inlined] │ [5] string(::String, ::Union{Char, SubString{String}, String, Symbol}, ::Symbol, ::String) │ @ Base ./lock.jl:376 [inlined] │ [6] __require(into::Module, mod::Symbol) │ @ Base ./loading.jl:2563 │ [7] require │ @ ./loading.jl:2539 [inlined] │ [8] eval_import_path(at::Module, from::Nothing, path::Expr, keyword::String) │ @ Base ./module.jl:36 [inlined] │ [9] _eval_import(imported::Bool, to::Module, from::Nothing, paths::Expr) │ @ Base ./module.jl:111 │ [10] eval_import(imported::Bool, to::Module, from::Nothing, paths::Expr) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/runtime.jl:195 │ [11] top-level scope │ @ ~/.julia/packages/TypedPolynomials/w65Sh/src/TypedPolynomials.jl:3 │ [12] include(mod::Module, _path::String) │ @ Base ./Base.jl:326 │ [13] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing) │ @ Base ./loading.jl:3271 │ [14] top-level scope │ @ stdin:5 │ [15] eval(m::Module, e::Any) │ @ Core ./boot.jl:517 │ [16] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) │ @ Base ./loading.jl:3113 │ [17] push!(a::Vector{SubString{String}}, item::String) │ @ Base ./loading.jl:3123 [inlined] │ [18] exec_options(opts::Base.JLOptions) │ @ Base ./client.jl:353 │ [19] _start() │ @ Base ./client.jl:596 │ in expression starting at /home/pkgeval/.julia/packages/TypedPolynomials/w65Sh/src/TypedPolynomials.jl:1 │ in expression starting at stdin:5 └ ERROR: LoadError: The following 6 packages failed to precompile: MutableArithmetics Failed to precompile MutableArithmetics [d8a4904e-b15c-11e9-3269-09a3773c0cb0] to "/home/pkgeval/.julia/compiled/v1.14/MutableArithmetics/jl_LKSrOt" (ProcessExited(1)). MultivariatePolynomials Failed to precompile MultivariatePolynomials [102ac46a-7ee4-5c85-9060-abc95bfdeaa3] to "/home/pkgeval/.julia/compiled/v1.14/MultivariatePolynomials/jl_fw0ZSS" (ProcessExited(1)). PolyhedralOmega Failed to precompile PolyhedralOmega [cb40c8c0-6f69-4117-9a87-8a763eccf627] to "/home/pkgeval/.julia/compiled/v1.14/PolyhedralOmega/jl_fEBpvu" (ProcessExited(1)). MacroTools Failed to precompile MacroTools [1914dd2f-81c6-5fcd-8719-6d5c9610ff09] to "/home/pkgeval/.julia/compiled/v1.14/MacroTools/jl_pN9bty" (ProcessExited(1)). AbstractAlgebra Failed to precompile AbstractAlgebra [c3fe647b-3220-5bb0-a1ea-a7954cac585d] to "/home/pkgeval/.julia/compiled/v1.14/AbstractAlgebra/jl_pydCN1" (ProcessExited(1)). TypedPolynomials Failed to precompile TypedPolynomials [afbbf031-7a57-5f58-a1b9-b774a0fad08d] to "/home/pkgeval/.julia/compiled/v1.14/TypedPolynomials/jl_TIPMk4" (ProcessExited(1)). in expression starting at /home/pkgeval/.julia/packages/PolyhedralOmega/BtVXp/test/runtests.jl:2 Testing failed after 154.82s ERROR: LoadError: Package PolyhedralOmega errored during testing Stacktrace: [1] pkgerror(msg::String) @ Pkg.Types /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Types.jl:68 [2] test(ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}; coverage::Bool, julia_args::Cmd, test_args::Cmd, test_fn::Nothing, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool) @ Pkg.Operations /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Operations.jl:3247 [3] Cmd(cmd::Cmd) @ Base /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Operations.jl:3110 [inlined] [4] test(ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}; coverage::Bool, test_fn::Nothing, julia_args::Cmd, test_args::Cmd, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool, kwargs::@Kwargs{io::IOContext{IO}}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:587 [5] test(pkgs::Vector{PackageSpec}; io::IOContext{IO}, kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:172 [6] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:160 [7] test @ /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:160 [inlined] [8] test(pkg::String; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:159 [inlined] [9] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:223 [10] include(mod::Module, _path::String) @ Base ./Base.jl:326 [11] exec_options(opts::Base.JLOptions) @ Base ./client.jl:355 [12] _start() @ Base ./client.jl:596 in expression starting at /PkgEval.jl/scripts/evaluate.jl:214 PkgEval failed after 1361.64s: package fails to precompile