New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Effects modeling for Unions constructed from typevars could probably be better #54340

Open

Keno opened this issue May 3, 2024 · 0 comments

Labels

compiler:effects domain:types and dispatch

Member

Keno commented May 3, 2024

These functions return equal types, but the compiler does not know a lot about the effects of f, producing worse code:

julia> f() = Union{<:AbstractArray, <:Tuple}
f (generic function with 1 method)

julia> g() = Union{AbstractArray, Tuple}
g (generic function with 1 method)

julia> Base.infer_effects(f)
(?c,+e,!n,+t,+s,+m,+u)

julia> Base.infer_effects(g)
(+c,+e,+n,+t,+s,+m,+u)

The text was updated successfully, but these errors were encountered:

Seelengrab added the compiler:effects label

nsajko added the domain:types and dispatch label

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment