Revision - a61d1b4 - inference: apply tmerge limit elementwise to the Union (#50927) - origin: https://github.com/JuliaLang/julia

visit type:

https://github.com/JuliaLang/julia

19 April 2024, 06:28:37 UTC

Revision a61d1b47a68297704814188a3509c011ec2a8fa1 authored by Jameson Nash on 15 September 2023, 22:32:16 UTC, committed by GitHub on 15 September 2023, 22:32:16 UTC

inference: apply tmerge limit elementwise to the Union (#50927)

This allows forming larger unions, as long as each element in the Union
is both relatively distinct and relatively simple. For example:

    tmerge(Base.BitSigned, Nothing) == Union{Nothing, Int128, Int16, Int32, Int64, Int8}
    tmerge(Tuple{Base.BitSigned, Int}, Nothing) == Union{Nothing, Tuple{Any, Int64}}
    tmerge(AbstractVector{Int}, Vector) == AbstractVector

Disables a test from dc8d885, which does not seem possible to handle currently.

This makes somewhat drastic changes to make this algorithm more
commutative and simpler, since we dropped the final widening to `Any`.

Co-authored-by: pchintalapudi <34727397+pchintalapudi@users.noreply.github.com>
Co-authored-by: Oscar Smith <oscardssmith@gmail.com>

1 parent 41b41ab

Files
Changes

Permalinks

Tip revision: a61d1b47a68297704814188a3509c011ec2a8fa1 authored by Jameson Nash on 15 September 2023, 22:32:16 UTC
inference: apply tmerge limit elementwise to the Union (#50927)

Tip revision: a61d1b4

File	Mode	Size
.devcontainer
.github
base
cli
contrib
deps
doc
etc
src
stdlib
test
.buildkite-external-version	-rw-r--r--	5 bytes
.clang-format	-rw-r--r--	3.3 KB
.clangd	-rw-r--r--	114 bytes
.codecov.yml	-rw-r--r--	52 bytes
.git-blame-ignore-revs	-rw-r--r--	371 bytes
.gitattributes	-rw-r--r--	65 bytes
.gitignore	-rw-r--r--	523 bytes
.mailmap	-rw-r--r--	12.7 KB
CITATION.bib	-rw-r--r--	513 bytes
CITATION.cff	-rw-r--r--	940 bytes
CONTRIBUTING.md	-rw-r--r--	23.4 KB
HISTORY.md	-rw-r--r--	372.5 KB
LICENSE.md	-rw-r--r--	1.3 KB
Make.inc	-rw-r--r--	55.7 KB
Makefile	-rw-r--r--	30.5 KB
NEWS.md	-rw-r--r--	1.7 KB
README.md	-rw-r--r--	7.3 KB
THIRDPARTY.md	-rw-r--r--	3.8 KB
VERSION	-rw-r--r--	11 bytes
julia.spdx.json	-rw-r--r--	35.8 KB
pkgimage.mk	-rw-r--r--	6.4 KB
sysimage.mk	-rw-r--r--	4.3 KB

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...

https://github.com/JuliaLang/julia

inference: apply tmerge limit elementwise to the Union (#50927)

README.md