Skip to content

Commit

Permalink
remove unnecessary @doc annotations
Browse files Browse the repository at this point in the history
  • Loading branch information
aviatesk committed Jan 17, 2024
1 parent f40e2ff commit af0bfb1
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 5 deletions.
2 changes: 1 addition & 1 deletion src/abstractinterpret/typeinfer.jl
Original file line number Diff line number Diff line change
Expand Up @@ -528,7 +528,7 @@ mutable struct AbstractGlobal
AbstractGlobal(@nospecialize(t), isconst::Bool) = new(t, isconst)
end

@doc """
"""
bail_out_toplevel_call(analyzer::AbstractAnalyzer, ...)
This overload allows JET to keep inference performed by `AbstractAnalyzer` going on
Expand Down
8 changes: 4 additions & 4 deletions src/analyzers/jetanalyzer.jl
Original file line number Diff line number Diff line change
Expand Up @@ -93,7 +93,7 @@ using .CC:
AbstractLattice, InferenceLattice, MustAliasesLattice, InterMustAliasesLattice,
BaseInferenceLattice, IPOResultLattice

@doc """
"""
IntrinsicErrorCheckLattice <: AbstractLattice
This lattice is used to check if an intrinsic function call is erroneous.
Expand Down Expand Up @@ -246,7 +246,7 @@ function CC.from_interprocedural!(analyzer::JETAnalyzer,
return ret
end

@doc """
"""
bail_out_call(analyzer::JETAnalyzer, ...)
This overload makes call inference performed by `JETAnalyzer` not bail out even when
Expand All @@ -258,7 +258,7 @@ CC.bail_out_call(::JETAnalyzer, ::CC.InferenceLoopState, ::InferenceState) = fal

struct __DummyConcrete__ end

@doc """
"""
add_call_backedges!(analyzer::JETAnalyzer, ...)
An overload for `abstract_call_gf_by_type(analyzer::JETAnalyzer, ...)`, which always add
Expand Down Expand Up @@ -1083,7 +1083,7 @@ const GENERAL_BUILTIN_ERROR_MSG = "invalid builtin function call"

# report erroneous intrinsic function calls

@doc """
"""
IntrinsicError(reason::String)
A special lattice element that represents an erroneous intrinsic function call.
Expand Down

0 comments on commit af0bfb1

Please sign in to comment.