minor updates

aviatesk · Nov 29, 2023 · 223f464 · 223f464
1 parent 354d182
commit 223f464
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 6 deletions.
diff --git a/src/abstractinterpret/abstractanalyzer.jl b/src/abstractinterpret/abstractanalyzer.jl
@@ -64,6 +64,9 @@ struct AnalysisResult
     reports::Vector{InferenceErrorReport}
 end
 
+# TODO use `(result::InferenceResult).analysis_results` to cache JET analysis result
+#      when updating to v1.11.
+
 """
     CachedAnalysisResult
 

diff --git a/src/abstractinterpret/typeinfer.jl b/src/abstractinterpret/typeinfer.jl
@@ -689,11 +689,9 @@ function CC.abstract_eval_statement(analyzer::AbstractAnalyzer, @nospecialize(e)
 end
 
 function CC.builtin_tfunction(analyzer::AbstractAnalyzer,
-    @nospecialize(f), argtypes::Vector{Any},
-    sv::InferenceState) # `AbstractAnalyzer` isn't overloaded on `return_type`
+    @nospecialize(f), argtypes::Vector{Any}, sv::InferenceState) # `AbstractAnalyzer` isn't overloaded on `return_type`
     ret = @invoke CC.builtin_tfunction(analyzer::AbstractInterpreter,
-        f::Any, argtypes::Vector{Any},
-        sv::Union{InferenceState,Nothing})
+        f::Any, argtypes::Vector{Any}, sv::Union{InferenceState,Nothing})
 
     if f === getglobal
         if istoplevel_getproperty(sv)

diff --git a/src/analyzers/jetanalyzer.jl b/src/analyzers/jetanalyzer.jl
@@ -481,9 +481,9 @@ function CC.abstract_eval_value(analyzer::JETAnalyzer, @nospecialize(e), vtypes:
 end
 
 function CC.builtin_tfunction(analyzer::JETAnalyzer,
-    @nospecialize(f), argtypes::Array{Any,1}, sv::InferenceState) # `AbstractAnalyzer` isn't overloaded on `return_type`
+    @nospecialize(f), argtypes::Vector{Any}, sv::InferenceState) # `AbstractAnalyzer` isn't overloaded on `return_type`
     ret = @invoke CC.builtin_tfunction(analyzer::AbstractAnalyzer,
-        f::Any, argtypes::Array{Any,1}, sv::InferenceState)
+        f::Any, argtypes::Vector{Any}, sv::InferenceState)
 
     if f === fieldtype
         # the valid widest possible return type of `fieldtype_tfunc` is `Union{Type,TypeVar}`