We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
AbsIntState
1 parent 146ae3d commit d2ab53bCopy full SHA for d2ab53b
src/analysis/forward.jl
@@ -1,7 +1,7 @@
1
-using Core.Compiler: StmtInfo, ArgInfo, CallMeta
+using Core.Compiler: StmtInfo, ArgInfo, CallMeta, AbsIntState
2
3
function fwd_abstract_call_gf_by_type(interp::AbstractInterpreter, @nospecialize(f),
4
- arginfo::ArgInfo, si::StmtInfo, sv::InferenceState, primal_call::CallMeta)
+ arginfo::ArgInfo, si::StmtInfo, sv::AbsIntState, primal_call::CallMeta)
5
if f === ChainRulesCore.frule
6
# TODO: Currently, we don't have any termination analysis for the non-stratified
7
# forward analysis, so bail out here.
0 commit comments