Package evaluation to load DiracNotation on Julia 1.14.0-DEV.2226 (797a5ef2b0*) started at 2026-05-23T17:11:42.781 ################################################################################ # Set-up # Set-up completed after 0.12s ################################################################################ # Installation # Installing DiracNotation... Resolving package versions... Installed Grisu ───────── v1.0.2 Installed DiracNotation ─ v0.3.0 Updating `~/.julia/environments/v1.14/Project.toml` [e655511c] + DiracNotation v0.3.0 Updating `~/.julia/environments/v1.14/Manifest.toml` [e655511c] + DiracNotation v0.3.0 [42e2da0e] + Grisu v1.0.2 [56f22d72] + Artifacts v1.11.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.13.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.13.0 [9e88b42a] + Serialization v1.11.0 [2f01184e] + SparseArrays v1.13.0 [e66e0078] + CompilerSupportLibraries_jll v1.5.1+0 [4536629a] + OpenBLAS_jll v0.3.33+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [8e850b90] + libblastrampoline_jll v5.15.0+0 Installation completed after 5.16s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Project No packages added to or removed from `~/.julia/environments/pkgeval/Project.toml` Manifest No packages added to or removed from `~/.julia/environments/pkgeval/Manifest.toml` Precompiling package dependencies... Precompiling project... 1.1 s ✓ Grisu ┌ Info: JuliaLowering threw given input: │ code = │ :(function print_dirac(io::IO, state::MixedState, ldims::Vector{Int}, rdims::Vector{Int}, statename::String = "ρ") where T <: Number │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:175 =# │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:179 =# │ (nrow, ncol) = size(state) │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:180 =# │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:180 =# @assert nrow == prod(ldims) && ncol == prod(rdims) │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:181 =# │ io = IO_braket(io, state) │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:182 =# │ braket = getindex(io, :braket) │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:184 =# │ isfirstterm = true │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:185 =# │ print(io, statename, " = ") │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:186 =# │ num_term = 0 │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:187 =# │ exitloop = false │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:188 =# │ for row = 1:nrow │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:189 =# │ for col = 1:ncol │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:190 =# │ num_term += 1 │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:191 =# │ ent = state[row, col] │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:192 =# │ iszero(ent) && continue │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:193 =# │ if ent ≈ one(ent) │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:194 =# │ ent = one(ent) │ end │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:196 =# │ print_dirac_term(io, row, col, ent, ldims, rdims, isfirstterm) │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:197 =# │ if isfirstterm │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:198 =# │ isfirstterm = false │ end │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:201 =# │ if !_displayall && num_term >= _numhead │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:202 =# │ exitloop = true │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:203 =# │ break │ end │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:205 =# │ end │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:206 =# │ exitloop && break │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:207 =# │ _newline && print(io, "\n", repeat(" ", length(statename * " = ") - 1)) │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:208 =# │ end │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:210 =# │ num_term < length(state) && return println(io, " +...") │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:211 =# │ !_newline && println(io) │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:212 =# │ return nothing │ 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] │ │ print_dirac :: Identifier │ │ [::] │ │ io :: Identifier │ │ IO :: Identifier │ │ [::] │ │ state :: Identifier │ │ MixedState :: Identifier │ │ [::] │ │ ldims :: Identifier │ │ [curly] │ │ Vector :: Identifier │ │ Int :: Identifier │ │ [::] │ │ rdims :: Identifier │ │ [curly] │ │ Vector :: Identifier │ │ Int :: Identifier │ │ [kw] │ │ [::] │ │ statename :: Identifier │ │ String :: Identifier │ │ "ρ" :: Value │ │ [<:] │ │ T :: Identifier │ │ Number :: Identifier │ │ [block] │ │ [=] │ │ [tuple] │ │ nrow :: Identifier │ │ ncol :: Identifier │ │ [call] │ │ size :: Identifier │ │ state :: Identifier │ │ [macrocall] │ │ @assert :: Identifier │ │ :(#= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:180 =#) :: Value │ │ [&&] │ │ [call] │ │ == :: Identifier │ │ nrow :: Identifier │ │ [call] │ │ prod :: Identifier │ │ ldims :: Identifier │ │ [call] │ │ == :: Identifier │ │ ncol :: Identifier │ │ [call] │ │ prod :: Identifier │ │ rdims :: Identifier │ │ [=] │ │ io :: Identifier │ │ [call] │ │ IO_braket :: Identifier │ │ io :: Identifier │ │ state :: Identifier │ │ [=] │ │ braket :: Identifier │ │ [call] │ │ getindex :: Identifier │ │ io :: Identifier │ │ [inert] │ │ braket :: Identifier │ │ [=] │ │ isfirstterm :: Identifier │ │ true :: Value │ │ [call] │ │ print :: Identifier │ │ io :: Identifier │ │ statename :: Identifier │ │ " = " :: Value │ │ [=] │ │ num_term :: Identifier │ │ 0 :: Value │ │ [=] │ │ exitloop :: Identifier │ │ false :: Value │ │ [for] │ │ [=] │ │ row :: Identifier │ │ [call] │ │ : :: Identifier │ │ 1 :: Value │ │ nrow :: Identifier │ │ [block] │ │ [for] │ │ [=] │ │ col :: Identifier │ │ [call] │ │ : :: Identifier │ │ 1 :: Value │ │ ncol :: Identifier │ │ [block] │ │ [unknown_head] │ │ num_term :: Identifier │ │ 1 :: Value │ │ [=] │ │ ent :: Identifier │ │ [ref] │ │ state :: Identifier │ │ row :: Identifier │ │ col :: Identifier │ │ [&&] │ │ [call] │ │ iszero :: Identifier │ │ ent :: Identifier │ │ [continue] │ │ [if] │ │ [call] │ │ ≈ :: Identifier │ │ ent :: Identifier │ │ [call] │ │ one :: Identifier │ │ ent :: Identifier │ │ [block] │ │ [=] │ │ ent :: Identifier │ │ [call] │ │ one :: Identifier │ │ ent :: Identifier │ │ [call] │ │ print_dirac_term :: Identifier │ │ io :: Identifier │ │ row :: Identifier │ │ col :: Identifier │ │ ent :: Identifier │ │ ldims :: Identifier │ │ rdims :: Identifier │ │ isfirstterm :: Identifier │ │ [if] │ │ isfirstterm :: Identifier │ │ [block] │ │ [=] │ │ isfirstterm :: Identifier │ │ false :: Value │ │ [if] │ │ [&&] │ │ [call] │ │ ! :: Identifier │ │ _displayall :: Identifier │ │ [call] │ │ >= :: Identifier │ │ num_term :: Identifier │ │ _numhead :: Identifier │ │ [block] │ │ [=] │ │ exitloop :: Identifier │ │ true :: Value │ │ [break] │ │ [&&] │ │ exitloop :: Identifier │ │ [break] │ │ [&&] │ │ _newline :: Identifier │ │ [call] │ │ print :: Identifier │ │ io :: Identifier │ │ "\n" :: Value │ │ [call] │ │ repeat :: Identifier │ │ " " :: Value │ │ [call] │ │ - :: Identifier │ │ [call] │ │ length :: Identifier │ │ [call] │ │ * :: Identifier │ │ statename :: Identifier │ │ " = " :: Value │ │ 1 :: Value │ │ [&&] │ │ [call] │ │ < :: Identifier │ │ num_term :: Identifier │ │ [call] │ │ length :: Identifier │ │ state :: Identifier │ │ [return] │ │ [call] │ │ println :: Identifier │ │ io :: Identifier │ │ " +..." :: Value │ │ [&&] │ │ [call] │ │ ! :: Identifier │ │ _newline :: Identifier │ │ [call] │ │ println :: Identifier │ │ io :: Identifier │ │ [return] │ │ nothing :: 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] │ │ print_dirac :: Identifier │ scope_layer=1 │ [::] │ │ io :: Identifier │ scope_layer=1 │ IO :: Identifier │ scope_layer=1 │ [::] │ │ state :: Identifier │ scope_layer=1 │ MixedState :: Identifier │ scope_layer=1 │ [::] │ │ ldims :: Identifier │ scope_layer=1 │ [curly] │ │ Vector :: Identifier │ scope_layer=1 │ Int :: Identifier │ scope_layer=1 │ [::] │ │ rdims :: Identifier │ scope_layer=1 │ [curly] │ │ Vector :: Identifier │ scope_layer=1 │ Int :: Identifier │ scope_layer=1 │ [kw] │ │ [::] │ │ statename :: Identifier │ scope_layer=1 │ String :: Identifier │ scope_layer=1 │ "ρ" :: Value │ │ [<:] │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ Number :: Identifier │ scope_layer=1 │ [block] │ │ [=] │ │ [tuple] │ │ nrow :: Identifier │ scope_layer=1 │ ncol :: Identifier │ scope_layer=1 │ [call] │ │ size :: Identifier │ scope_layer=1 │ state :: Identifier │ scope_layer=1 │ [if] │ │ [&&] │ │ [call] │ │ == :: Identifier │ scope_layer=1 │ nrow :: Identifier │ scope_layer=1 │ [call] │ │ prod :: Identifier │ scope_layer=1 │ ldims :: Identifier │ scope_layer=1 │ [call] │ │ == :: Identifier │ scope_layer=1 │ ncol :: Identifier │ scope_layer=1 │ [call] │ │ prod :: Identifier │ scope_layer=1 │ rdims :: Identifier │ scope_layer=1 │ nothing :: Value │ macro_source=50 │ [call] │ │ throw :: Identifier │ scope_layer=2 │ [call] │ │ AssertionError :: Identifier │ scope_layer=2 │ "nrow == prod(ldims) && ncol == prod(rdims)" :: Value │ macro_source=50 │ [=] │ │ io :: Identifier │ scope_layer=1 │ [call] │ │ IO_braket :: Identifier │ scope_layer=1 │ io :: Identifier │ scope_layer=1 │ state :: Identifier │ scope_layer=1 │ [=] │ │ braket :: Identifier │ scope_layer=1 │ [call] │ │ getindex :: Identifier │ scope_layer=1 │ io :: Identifier │ scope_layer=1 │ [inert] │ │ braket :: Identifier │ │ [=] │ │ isfirstterm :: Identifier │ scope_layer=1 │ true :: Value │ │ [call] │ │ print :: Identifier │ scope_layer=1 │ io :: Identifier │ scope_layer=1 │ statename :: Identifier │ scope_layer=1 │ " = " :: Value │ │ [=] │ │ num_term :: Identifier │ scope_layer=1 │ 0 :: Value │ │ [=] │ │ exitloop :: Identifier │ scope_layer=1 │ false :: Value │ │ [for] │ │ [=] │ │ row :: Identifier │ scope_layer=1 │ [call] │ │ : :: Identifier │ scope_layer=1 │ 1 :: Value │ │ nrow :: Identifier │ scope_layer=1 │ [block] │ │ [for] │ │ [=] │ │ col :: Identifier │ scope_layer=1 │ [call] │ │ : :: Identifier │ scope_layer=1 │ 1 :: Value │ │ ncol :: Identifier │ scope_layer=1 │ [block] │ │ [unknown_head] │ scope_layer=1 │ num_term :: Identifier │ scope_layer=1 │ 1 :: Value │ │ [=] │ │ ent :: Identifier │ scope_layer=1 │ [ref] │ │ state :: Identifier │ scope_layer=1 │ row :: Identifier │ scope_layer=1 │ col :: Identifier │ scope_layer=1 │ [&&] │ │ [call] │ │ iszero :: Identifier │ scope_layer=1 │ ent :: Identifier │ scope_layer=1 │ [continue] │ │ [if] │ │ [call] │ │ ≈ :: Identifier │ scope_layer=1 │ ent :: Identifier │ scope_layer=1 │ [call] │ │ one :: Identifier │ scope_layer=1 │ ent :: Identifier │ scope_layer=1 │ [block] │ │ [=] │ │ ent :: Identifier │ scope_layer=1 │ [call] │ │ one :: Identifier │ scope_layer=1 │ ent :: Identifier │ scope_layer=1 │ [call] │ │ print_dirac_term :: Identifier │ scope_layer=1 │ io :: Identifier │ scope_layer=1 │ row :: Identifier │ scope_layer=1 │ col :: Identifier │ scope_layer=1 │ ent :: Identifier │ scope_layer=1 │ ldims :: Identifier │ scope_layer=1 │ rdims :: Identifier │ scope_layer=1 │ isfirstterm :: Identifier │ scope_layer=1 │ [if] │ │ isfirstterm :: Identifier │ scope_layer=1 │ [block] │ │ [=] │ │ isfirstterm :: Identifier │ scope_layer=1 │ false :: Value │ │ [if] │ │ [&&] │ │ [call] │ │ ! :: Identifier │ scope_layer=1 │ _displayall :: Identifier │ scope_layer=1 │ [call] │ │ >= :: Identifier │ scope_layer=1 │ num_term :: Identifier │ scope_layer=1 │ _numhead :: Identifier │ scope_layer=1 │ [block] │ │ [=] │ │ exitloop :: Identifier │ scope_layer=1 │ true :: Value │ │ [break] │ │ [&&] │ │ exitloop :: Identifier │ scope_layer=1 │ [break] │ │ [&&] │ │ _newline :: Identifier │ scope_layer=1 │ [call] │ │ print :: Identifier │ scope_layer=1 │ io :: Identifier │ scope_layer=1 │ "\n" :: Value │ │ [call] │ │ repeat :: Identifier │ scope_layer=1 │ " " :: Value │ │ [call] │ │ - :: Identifier │ scope_layer=1 │ [call] │ │ length :: Identifier │ scope_layer=1 │ [call] │ │ * :: Identifier │ scope_layer=1 │ statename :: Identifier │ scope_layer=1 │ " = " :: Value │ │ 1 :: Value │ │ [&&] │ │ [call] │ │ < :: Identifier │ scope_layer=1 │ num_term :: Identifier │ scope_layer=1 │ [call] │ │ length :: Identifier │ scope_layer=1 │ state :: Identifier │ scope_layer=1 │ [return] │ │ [call] │ │ println :: Identifier │ scope_layer=1 │ io :: Identifier │ scope_layer=1 │ " +..." :: Value │ │ [&&] │ │ [call] │ │ ! :: Identifier │ scope_layer=1 │ _newline :: Identifier │ scope_layer=1 │ [call] │ │ println :: Identifier │ scope_layer=1 │ io :: Identifier │ scope_layer=1 │ [return] │ │ nothing :: Identifier │ scope_layer=1 │ │ file = "/home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl" │ line = 175 └ mod = DiracNotation ERROR: LoadError: LoweringError: #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:175 =# - method definition declares type variable but does not use it in the type of any function parameter Expression:  (_typevar T core.Any Number) Containing expressions:  (_typevar T core.Any Number)  Detailed provenance:  (_typevar T core.Any Number) @#= /source/usr/share/julia/JuliaLowering/src/desugaring.jl:3012 =#  └─ (<: T Number)  └─ (<: T Number)  └─ (<: T Number)  └─ (<: T Number)  └─ @ /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:175  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/DiracNotation/I0Kkd/src/DiracNotation.jl:3  [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/DiracNotation/I0Kkd/src/prettyprint.jl:175 in expression starting at /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/DiracNotation.jl:1 in expression starting at stdin:5 ✗ DiracNotation 1 dependency successfully precompiled in 45 seconds. 3 already precompiled. Precompilation completed after 64.37s ################################################################################ # Loading # Loading DiracNotation... ┌ Info: JuliaLowering threw given input: │ code = │ :(function print_dirac(io::IO, state::MixedState, ldims::Vector{Int}, rdims::Vector{Int}, statename::String = "ρ") where T <: Number │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:175 =# │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:179 =# │ (nrow, ncol) = size(state) │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:180 =# │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:180 =# @assert nrow == prod(ldims) && ncol == prod(rdims) │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:181 =# │ io = IO_braket(io, state) │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:182 =# │ braket = getindex(io, :braket) │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:184 =# │ isfirstterm = true │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:185 =# │ print(io, statename, " = ") │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:186 =# │ num_term = 0 │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:187 =# │ exitloop = false │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:188 =# │ for row = 1:nrow │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:189 =# │ for col = 1:ncol │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:190 =# │ num_term += 1 │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:191 =# │ ent = state[row, col] │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:192 =# │ iszero(ent) && continue │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:193 =# │ if ent ≈ one(ent) │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:194 =# │ ent = one(ent) │ end │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:196 =# │ print_dirac_term(io, row, col, ent, ldims, rdims, isfirstterm) │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:197 =# │ if isfirstterm │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:198 =# │ isfirstterm = false │ end │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:201 =# │ if !_displayall && num_term >= _numhead │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:202 =# │ exitloop = true │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:203 =# │ break │ end │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:205 =# │ end │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:206 =# │ exitloop && break │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:207 =# │ _newline && print(io, "\n", repeat(" ", length(statename * " = ") - 1)) │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:208 =# │ end │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:210 =# │ num_term < length(state) && return println(io, " +...") │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:211 =# │ !_newline && println(io) │ #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:212 =# │ return nothing │ 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] │ │ print_dirac :: Identifier │ │ [::] │ │ io :: Identifier │ │ IO :: Identifier │ │ [::] │ │ state :: Identifier │ │ MixedState :: Identifier │ │ [::] │ │ ldims :: Identifier │ │ [curly] │ │ Vector :: Identifier │ │ Int :: Identifier │ │ [::] │ │ rdims :: Identifier │ │ [curly] │ │ Vector :: Identifier │ │ Int :: Identifier │ │ [kw] │ │ [::] │ │ statename :: Identifier │ │ String :: Identifier │ │ "ρ" :: Value │ │ [<:] │ │ T :: Identifier │ │ Number :: Identifier │ │ [block] │ │ [=] │ │ [tuple] │ │ nrow :: Identifier │ │ ncol :: Identifier │ │ [call] │ │ size :: Identifier │ │ state :: Identifier │ │ [macrocall] │ │ @assert :: Identifier │ │ :(#= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:180 =#) :: Value │ │ [&&] │ │ [call] │ │ == :: Identifier │ │ nrow :: Identifier │ │ [call] │ │ prod :: Identifier │ │ ldims :: Identifier │ │ [call] │ │ == :: Identifier │ │ ncol :: Identifier │ │ [call] │ │ prod :: Identifier │ │ rdims :: Identifier │ │ [=] │ │ io :: Identifier │ │ [call] │ │ IO_braket :: Identifier │ │ io :: Identifier │ │ state :: Identifier │ │ [=] │ │ braket :: Identifier │ │ [call] │ │ getindex :: Identifier │ │ io :: Identifier │ │ [inert] │ │ braket :: Identifier │ │ [=] │ │ isfirstterm :: Identifier │ │ true :: Value │ │ [call] │ │ print :: Identifier │ │ io :: Identifier │ │ statename :: Identifier │ │ " = " :: Value │ │ [=] │ │ num_term :: Identifier │ │ 0 :: Value │ │ [=] │ │ exitloop :: Identifier │ │ false :: Value │ │ [for] │ │ [=] │ │ row :: Identifier │ │ [call] │ │ : :: Identifier │ │ 1 :: Value │ │ nrow :: Identifier │ │ [block] │ │ [for] │ │ [=] │ │ col :: Identifier │ │ [call] │ │ : :: Identifier │ │ 1 :: Value │ │ ncol :: Identifier │ │ [block] │ │ [unknown_head] │ │ num_term :: Identifier │ │ 1 :: Value │ │ [=] │ │ ent :: Identifier │ │ [ref] │ │ state :: Identifier │ │ row :: Identifier │ │ col :: Identifier │ │ [&&] │ │ [call] │ │ iszero :: Identifier │ │ ent :: Identifier │ │ [continue] │ │ [if] │ │ [call] │ │ ≈ :: Identifier │ │ ent :: Identifier │ │ [call] │ │ one :: Identifier │ │ ent :: Identifier │ │ [block] │ │ [=] │ │ ent :: Identifier │ │ [call] │ │ one :: Identifier │ │ ent :: Identifier │ │ [call] │ │ print_dirac_term :: Identifier │ │ io :: Identifier │ │ row :: Identifier │ │ col :: Identifier │ │ ent :: Identifier │ │ ldims :: Identifier │ │ rdims :: Identifier │ │ isfirstterm :: Identifier │ │ [if] │ │ isfirstterm :: Identifier │ │ [block] │ │ [=] │ │ isfirstterm :: Identifier │ │ false :: Value │ │ [if] │ │ [&&] │ │ [call] │ │ ! :: Identifier │ │ _displayall :: Identifier │ │ [call] │ │ >= :: Identifier │ │ num_term :: Identifier │ │ _numhead :: Identifier │ │ [block] │ │ [=] │ │ exitloop :: Identifier │ │ true :: Value │ │ [break] │ │ [&&] │ │ exitloop :: Identifier │ │ [break] │ │ [&&] │ │ _newline :: Identifier │ │ [call] │ │ print :: Identifier │ │ io :: Identifier │ │ "\n" :: Value │ │ [call] │ │ repeat :: Identifier │ │ " " :: Value │ │ [call] │ │ - :: Identifier │ │ [call] │ │ length :: Identifier │ │ [call] │ │ * :: Identifier │ │ statename :: Identifier │ │ " = " :: Value │ │ 1 :: Value │ │ [&&] │ │ [call] │ │ < :: Identifier │ │ num_term :: Identifier │ │ [call] │ │ length :: Identifier │ │ state :: Identifier │ │ [return] │ │ [call] │ │ println :: Identifier │ │ io :: Identifier │ │ " +..." :: Value │ │ [&&] │ │ [call] │ │ ! :: Identifier │ │ _newline :: Identifier │ │ [call] │ │ println :: Identifier │ │ io :: Identifier │ │ [return] │ │ nothing :: 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] │ │ print_dirac :: Identifier │ scope_layer=1 │ [::] │ │ io :: Identifier │ scope_layer=1 │ IO :: Identifier │ scope_layer=1 │ [::] │ │ state :: Identifier │ scope_layer=1 │ MixedState :: Identifier │ scope_layer=1 │ [::] │ │ ldims :: Identifier │ scope_layer=1 │ [curly] │ │ Vector :: Identifier │ scope_layer=1 │ Int :: Identifier │ scope_layer=1 │ [::] │ │ rdims :: Identifier │ scope_layer=1 │ [curly] │ │ Vector :: Identifier │ scope_layer=1 │ Int :: Identifier │ scope_layer=1 │ [kw] │ │ [::] │ │ statename :: Identifier │ scope_layer=1 │ String :: Identifier │ scope_layer=1 │ "ρ" :: Value │ │ [<:] │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ Number :: Identifier │ scope_layer=1 │ [block] │ │ [=] │ │ [tuple] │ │ nrow :: Identifier │ scope_layer=1 │ ncol :: Identifier │ scope_layer=1 │ [call] │ │ size :: Identifier │ scope_layer=1 │ state :: Identifier │ scope_layer=1 │ [if] │ │ [&&] │ │ [call] │ │ == :: Identifier │ scope_layer=1 │ nrow :: Identifier │ scope_layer=1 │ [call] │ │ prod :: Identifier │ scope_layer=1 │ ldims :: Identifier │ scope_layer=1 │ [call] │ │ == :: Identifier │ scope_layer=1 │ ncol :: Identifier │ scope_layer=1 │ [call] │ │ prod :: Identifier │ scope_layer=1 │ rdims :: Identifier │ scope_layer=1 │ nothing :: Value │ macro_source=50 │ [call] │ │ throw :: Identifier │ scope_layer=2 │ [call] │ │ AssertionError :: Identifier │ scope_layer=2 │ "nrow == prod(ldims) && ncol == prod(rdims)" :: Value │ macro_source=50 │ [=] │ │ io :: Identifier │ scope_layer=1 │ [call] │ │ IO_braket :: Identifier │ scope_layer=1 │ io :: Identifier │ scope_layer=1 │ state :: Identifier │ scope_layer=1 │ [=] │ │ braket :: Identifier │ scope_layer=1 │ [call] │ │ getindex :: Identifier │ scope_layer=1 │ io :: Identifier │ scope_layer=1 │ [inert] │ │ braket :: Identifier │ │ [=] │ │ isfirstterm :: Identifier │ scope_layer=1 │ true :: Value │ │ [call] │ │ print :: Identifier │ scope_layer=1 │ io :: Identifier │ scope_layer=1 │ statename :: Identifier │ scope_layer=1 │ " = " :: Value │ │ [=] │ │ num_term :: Identifier │ scope_layer=1 │ 0 :: Value │ │ [=] │ │ exitloop :: Identifier │ scope_layer=1 │ false :: Value │ │ [for] │ │ [=] │ │ row :: Identifier │ scope_layer=1 │ [call] │ │ : :: Identifier │ scope_layer=1 │ 1 :: Value │ │ nrow :: Identifier │ scope_layer=1 │ [block] │ │ [for] │ │ [=] │ │ col :: Identifier │ scope_layer=1 │ [call] │ │ : :: Identifier │ scope_layer=1 │ 1 :: Value │ │ ncol :: Identifier │ scope_layer=1 │ [block] │ │ [unknown_head] │ scope_layer=1 │ num_term :: Identifier │ scope_layer=1 │ 1 :: Value │ │ [=] │ │ ent :: Identifier │ scope_layer=1 │ [ref] │ │ state :: Identifier │ scope_layer=1 │ row :: Identifier │ scope_layer=1 │ col :: Identifier │ scope_layer=1 │ [&&] │ │ [call] │ │ iszero :: Identifier │ scope_layer=1 │ ent :: Identifier │ scope_layer=1 │ [continue] │ │ [if] │ │ [call] │ │ ≈ :: Identifier │ scope_layer=1 │ ent :: Identifier │ scope_layer=1 │ [call] │ │ one :: Identifier │ scope_layer=1 │ ent :: Identifier │ scope_layer=1 │ [block] │ │ [=] │ │ ent :: Identifier │ scope_layer=1 │ [call] │ │ one :: Identifier │ scope_layer=1 │ ent :: Identifier │ scope_layer=1 │ [call] │ │ print_dirac_term :: Identifier │ scope_layer=1 │ io :: Identifier │ scope_layer=1 │ row :: Identifier │ scope_layer=1 │ col :: Identifier │ scope_layer=1 │ ent :: Identifier │ scope_layer=1 │ ldims :: Identifier │ scope_layer=1 │ rdims :: Identifier │ scope_layer=1 │ isfirstterm :: Identifier │ scope_layer=1 │ [if] │ │ isfirstterm :: Identifier │ scope_layer=1 │ [block] │ │ [=] │ │ isfirstterm :: Identifier │ scope_layer=1 │ false :: Value │ │ [if] │ │ [&&] │ │ [call] │ │ ! :: Identifier │ scope_layer=1 │ _displayall :: Identifier │ scope_layer=1 │ [call] │ │ >= :: Identifier │ scope_layer=1 │ num_term :: Identifier │ scope_layer=1 │ _numhead :: Identifier │ scope_layer=1 │ [block] │ │ [=] │ │ exitloop :: Identifier │ scope_layer=1 │ true :: Value │ │ [break] │ │ [&&] │ │ exitloop :: Identifier │ scope_layer=1 │ [break] │ │ [&&] │ │ _newline :: Identifier │ scope_layer=1 │ [call] │ │ print :: Identifier │ scope_layer=1 │ io :: Identifier │ scope_layer=1 │ "\n" :: Value │ │ [call] │ │ repeat :: Identifier │ scope_layer=1 │ " " :: Value │ │ [call] │ │ - :: Identifier │ scope_layer=1 │ [call] │ │ length :: Identifier │ scope_layer=1 │ [call] │ │ * :: Identifier │ scope_layer=1 │ statename :: Identifier │ scope_layer=1 │ " = " :: Value │ │ 1 :: Value │ │ [&&] │ │ [call] │ │ < :: Identifier │ scope_layer=1 │ num_term :: Identifier │ scope_layer=1 │ [call] │ │ length :: Identifier │ scope_layer=1 │ state :: Identifier │ scope_layer=1 │ [return] │ │ [call] │ │ println :: Identifier │ scope_layer=1 │ io :: Identifier │ scope_layer=1 │ " +..." :: Value │ │ [&&] │ │ [call] │ │ ! :: Identifier │ scope_layer=1 │ _newline :: Identifier │ scope_layer=1 │ [call] │ │ println :: Identifier │ scope_layer=1 │ io :: Identifier │ scope_layer=1 │ [return] │ │ nothing :: Identifier │ scope_layer=1 │ │ file = "/home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl" │ line = 175 └ mod = DiracNotation ERROR: LoadError: LoweringError: #= /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:175 =# - method definition declares type variable but does not use it in the type of any function parameter Expression:  (_typevar T core.Any Number) Containing expressions:  (_typevar T core.Any Number)  Detailed provenance:  (_typevar T core.Any Number) @#= /source/usr/share/julia/JuliaLowering/src/desugaring.jl:3012 =#  └─ (<: T Number)  └─ (<: T Number)  └─ (<: T Number)  └─ (<: T Number)  └─ @ /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/prettyprint.jl:175  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/DiracNotation/I0Kkd/src/DiracNotation.jl:3  [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/DiracNotation/I0Kkd/src/prettyprint.jl:175 in expression starting at /home/pkgeval/.julia/packages/DiracNotation/I0Kkd/src/DiracNotation.jl:1 in expression starting at stdin:5 1 dependency had output during precompilation: ┌ DiracNotation │ [Output was shown above] └ ERROR: The following 1 package failed to precompile: DiracNotation Failed to precompile DiracNotation [e655511c-e992-5001-b8e2-2048e6aa15e9] to "/home/pkgeval/.julia/compiled/v1.14/DiracNotation/jl_hoK3mY" (ProcessExited(1)). Loading failed after 51.49s ERROR: LoadError: failed process: Process(`/opt/julia/bin/julia -C native -J/opt/julia/lib/julia/sys.so -g1 --check-bounds=yes --inline=yes --check-bounds=yes --pkgimages=existing -e 'using DiracNotation'`, ProcessExited(1)) [1] Stacktrace: [1] spawn_opts_inherit() @ Base ./process.jl:612 [inlined] [2] run(::Cmd; wait::Bool) @ Base ./process.jl:525 [3] run(::Cmd) @ Base ./process.jl:522 [4] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:197 [5] include(mod::Module, _path::String) @ Base ./Base.jl:326 [6] exec_options(opts::Base.JLOptions) @ Base ./client.jl:355 [7] _start() @ Base ./client.jl:596 in expression starting at /PkgEval.jl/scripts/evaluate.jl:188 PkgEval failed after 139.01s: package fails to precompile