I am puzzled by this julia> test(flag) = flag ? 1.0 : 1 test (generic function with 2 methods) julia> @code_warntype test(true) Variables #self#::Core.Compiler.Const(test, false) flag::Bool Body::Union{Float64, Int64} 1 ─ goto #4 if not flag 2 ─ return 1.0 3 ─ Core.Compiler.Const(…

[image] pablosanjose: Oh! Why is this? Isn’t true a compile-time constant here? (Still slightly puzzled…) @code_warntype test(true) gets macro expanded to code_warntype(test, Tuple{Bool}) where clearly, all information that the bool was a constant true has been lost.

Question about constant propagation and inference

General Usage

Tamas_Papp June 3, 2019, 1:10pm 4

See eg

1 Like