generated CodeInfo
inlining should happen in Base rather than in Cassette
#7
Labels
CodeInfo
inlining should happen in Base rather than in Cassette
#7
To properly leverage JuliaLang/julia#22440, one needs to reimplement a bit of work that would normally be done as part of inlining during type inference.
Cassette currently does this as part of
CodeInfo
lookup, but this should really be in Base. Otherwise, the code will easily become stale w.r.t. inference changes. For example, JuliaLang/julia#22826 has already broken the current implementation in Cassette.This pass could be either be exposed from
reflection.jl
(maybe as aninline
keyword arg tolowered_code
), or automagically performed by the compiler after generator expansion in the case where expansion yields aCodeInfo
object instead of anExpr
.The text was updated successfully, but these errors were encountered: